Similar repositories to xnning/EvEff:

• xnning/EvEff github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• ReactTraining/react-router github similar
• ocharles/effect-zoo github similar
• facet-lang/facet github similar
• xnning/MpEff github similar
• meilisearch/MeiliSearch github similar
• RobertHarper/hott-notes github similar
• julianhyde/morel github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• k6io/k6 github similar
• tuvtran/project-based-learning github similar
• AndrasKovacs/implicit-fun-elaboration github similar
• daanx/effect-bench github similar
• wenkokke/idris-sesh github similar
• groupoid/anders github similar
• jonsterling/agda-calf github similar
• ranjitjhala/sprite-lang github similar
• evanrelf/drama github similar
• tsung-ju/SystemF github similar
• RedPRL/stagedtt github similar
• vehicle-lang/vehicle github similar
• grin-compiler/ghc-whole-program-compiler-project github similar
• owo-lang/narc-rs github similar
• AndrasKovacs/flatparse github similar
• re-xyr/cleff github similar
• AndrasKovacs/setoidtt github similar
• adamgundry/type-inference github similar
• kcsmnt0/quotient github similar
• owo-lang/voile-rs github similar
• metaborg/linear.agda github similar
• ekmett/unboxed github similar
• kritzcreek/fby19 github similar
• sweirich/challenge github similar
• AndrasKovacs/staged-fusion github similar
• pkamenarsky/knit github similar