Similar repositories to slasser/vermillion:

• slasser/vermillion github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• groupoid/anders github similar
• RobertHarper/hott-notes github similar
• Lysxia/system-F github similar
• tuvtran/project-based-learning github similar
• meilisearch/MeiliSearch github similar
• garrigue/certint github similar
• roglo/coq_real github similar
• ziman/itt-idris github similar
• toeverything/AFFiNE github similar
• superfly/litefs github similar
• gallais/agda-sizedIO github similar
• fredefox/cat github similar
• neel-krishnaswami/linearml github similar
• mietek/hilbert-gentzen github similar
• jozefg/blott github similar
• Lysxia/coq-ceres github similar
• smimram/catt github similar
• smtcoq/sniper github similar
• ecavallo/ptt github similar
• ak3n/abt-zoo github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• lthms/FreeSpec github similar
• gmalecha/coq-printf github similar
• metaborg/linear.agda github similar
• julianhyde/morel github similar
• palmskog/coq-program-verification-template github similar
• ReactTraining/react-router github similar
• postalhq/postal github similar
• GamestonkTerminal/GamestonkTerminal github similar
• k6io/k6 github similar
• Eloston/ungoogled-chromium github similar
• jonsterling/lecture-notes github similar
• tootsuite/mastodon github similar
• levjj/esverify-theory github similar
• m-yac/tt-in-cagda github similar
• affeldt-aist/monae github similar