Similar repositories to phadej/write-yourself-a-typed-functional-language:

• danistefanovic/build-your-own-x github similar
• phadej/write-yourself-a-typed-functional-language github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• ReactTraining/react-router github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• pixijs/pixi.js github similar
• Eugeny/terminus github similar
• ucsd-progsys/mist github similar
• evertedsphere/how-to-implement-dependent-type-theory github similar
• jdreaver/amy github similar
• roc-lang/roc github similar
• k6io/k6 github similar
• tyehle/llvm-lambda github similar
• zehaochen19/vanilla-lang github similar
• seagreen/llvm-in-haskell github similar
• TOTBWF/omit-generics github similar
• Theomund/pluto github similar
• omelkonian/rewrite-inspector github similar
• ronami/HypeScript github similar
• nullgemm/ly github similar
• LightAndLight/closure github similar
• andorp/mini-grin github similar
• angel-manuel/schc github similar
• jwiegley/control-theory github similar
• bydriv/mhc github similar
• LightAndLight/parametricity-proofs github similar
• i-am-tom/dagless github similar
• danidiaz/streamy github similar
• LightAndLight/cbpv github similar
• maybevoid/casimir github similar
• glaebhoerl/simplecompiler github similar
• haskell-suite/haskell-tc github similar
• andgate/type-theory-compiler github similar
• lamdu/hypertypes github similar
• siraben/mini-haskell github similar
• aspiwack/peppermint-prover github similar