Similar repositories to RBornat/jape:

• RBornat/jape github similar
• danistefanovic/build-your-own-x github similar
• nullgemm/ly github similar
• ibrahimsag/rw github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• Twey/agda-imp github similar
• wenkokke/swillprover github similar
• nokijp/pietc github similar
• coq-community/HighSchoolGeometry github similar
• c-cube/quip github similar
• sorear/smm github similar
• julianhyde/morel github similar
• ekmett/monad-ran github similar
• john-ml/edsger github similar
• mb64/simple-lambda-prolog github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• norm2782/uuagc github similar
• cacay/language-krill github similar
• mrotondo/feeders github similar
• sarahzrf/minelang github similar
• pixijs/pixi.js github similar
• mdeloof/statig github similar
• tuvtran/project-based-learning github similar
• edx/edx-platform github similar
• zalando/connexion github similar
• tootsuite/mastodon github similar
• meilisearch/MeiliSearch github similar
• ReactTraining/react-router github similar
• Samleo8/SisyphusSheep github similar
• JasonGross/coq-union-find github similar
• inanna-malick/hgit github similar
• dwarfmaster/project-manager github similar
• ptarau/TypesAndProofs github similar
• konn/equational-reasoning-in-haskell github similar
• sellout/computational-model-zoo github similar
• pjmlp/Analyzer github similar
• DataKinds/charm github similar
• slasser/AllStar github similar