Similar repositories to abailly/xxi-century-typed:

• abailly/xxi-century-typed github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• masaeedu/agda-learning github similar
• jmgimeno/haskell-playground github similar
• mcneissue/purescript-monoidal github similar
• tdietert/lambda-pi github similar
• visual-systems/philosophy github similar
• effectfully/proto-tt github similar
• Boarders/agda-pipes github similar
• aatxe/diet-coke github similar
• TOTBWF/MLogic github similar
• shmish111/smoke-hill github similar
• Lysxia/test-monad-laws github similar
• precog/quasar github similar
• juxt/crux github similar
• postalhq/postal github similar
• spicydonuts/purescript-spectacle-presentation github similar
• lambdageek/emile github similar
• ollef/incrementalism github similar
• tynril/torus-flock github similar
• LightAndLight/definable-syntax github similar
• andrejtokarcik/agda-semantics github similar
• ancientlanguage/agda-grammar github similar
• discus-lang/salt-vscode github similar
• LightAndLight/como github similar
• plt-hokusai/ahc github similar
• Twey/agda-imp github similar
• bitmappergit/Prelude github similar
• WhereSoftwareGoesToDie/chevalier github similar
• dmbarbour/haskell-lmdb github similar
• aquynh/capstone github similar
• ChrisPenner/purescript-flow github similar
• tonymorris/trees-that-grow github similar
• myuon/quartz github similar
• yamad/sicp github similar
• tsiliakis/xmobar github similar
• donovancrichton/Talks github similar
• lainekendall/game-of-life-hs github similar