Similar repositories to phadej/kleene:

• phadej/kleene github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• inanna-malick/hgit github similar
• meilisearch/MeiliSearch github similar
• jship/tao github similar
• danidiaz/streamy github similar
• k6io/k6 github similar
• ronami/HypeScript github similar
• micahflee/onionshare github similar
• Eloston/ungoogled-chromium github similar
• roc-lang/roc github similar
• postalhq/postal github similar
• frerich/catamorphism github similar
• RobertHarper/hott-notes github similar
• haskellari/lattices github similar
• jwiegley/async-pool github similar
• Lysxia/generic-recursion-schemes github similar
• ChrisPenner/Candor github similar
• conal/total-map github similar
• sdiehl/vim-cabalfmt github similar
• joelwilliamson/bimap github similar
• i-am-tom/dagmore github similar
• simonmar/toy-haxl github similar
• evertedsphere/how-to-implement-dependent-type-theory github similar
• mstksg/lens-typelevel github similar
• lens/lens-aeson github similar
• i-am-tom/dagless github similar
• ReactTraining/react-router github similar
• aquynh/capstone github similar
• alexcrichton/cc-rs github similar
• juxt/crux github similar
• superfly/litefs github similar
• GaloisInc/cryptol-verifier github similar
• blockstack/stacks github similar
• jwiegley/simple-ltl github similar
• mathandley/RTick github similar
• phadej/topograph github similar