Similar repositories to willcrichton/rabbot:

• willcrichton/rabbot github similar
• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• RobertHarper/hott-notes github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• danburkert/prost github similar
• TOTBWF/agda-sgd github similar
• aquynh/capstone github similar
• meilisearch/MeiliSearch github similar
• robsimmons/abbot github similar
• jyp/sctt github similar
• RobertHarper/TILT-Compiler github similar
• jonsterling/sml-logical-framework github similar
• dbp/howtoprovefullabstraction github similar
• amintimany/CTDT github similar
• nachivpn/syntactic-ni github similar
• jonsterling/agda-abt github similar
• rowandavies/sml-cidre github similar
• m-yac/tt-in-cagda github similar
• nbenton/coqdomains github similar
• heades/cut-fill-agda github similar
• maxsnew/grammars-and-semantic-actions github similar
• ayberkt/abt github similar
• jcreedcmu/lambda-maps github similar
• yannham/visual-goi github similar
• RedPRL/sml-cats github similar
• ToTal/total github similar
• TyberiusPrime/nested_intervals github similar
• thsutton/cha github similar
• theoremprover-museum/LCF77 github similar
• ziman/itt-idris github similar
• twanvl/ttie github similar
• mr-ohman/logrel-mltt github similar
• IanOrton/cubical-topos-experiments github similar
• ayberkt/simplc github similar
• bitonic/tog github similar
• jozefg/miniprl github similar