Similar repositories to samuelgruetter/dot-calculus:

• samuelgruetter/dot-calculus github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• TiarkRompf/minidot github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• plclub/metalib github similar
• gibiansky/IHaskell github similar
• ReactTraining/react-router github similar
• precog/quasar github similar
• EasyCrypt/certicrypt github similar
• tlringer/plugin-tutorial github similar
• smtcoq/sniper github similar
• discus-lang/iron github similar
• smlnj/smlnj github similar
• pixijs/pixi.js github similar
• meilisearch/MeiliSearch github similar
• postalhq/postal github similar
• sarsko/CreuSAT github similar
• Eugeny/terminus github similar
• ocaml/camlp-streams github similar
• Blaisorblade/dot-iris github similar
• CoqHott/exceptional-tt github similar
• vrahli/NuprlInCoq github similar
• TheoWinterhalter/formal-type-theory github similar
• sweirich/corespec github similar
• garrigue/certint github similar
• thery/hanoi github similar
• unicoq/unicoq github similar
• metaocaml/metaocaml-bibliography github similar
• yallop/metaocaml-letrec github similar
• silky/myth github similar
• Chaaaos/formaltt github similar
• math-comp/finmap github similar
• mit-plv/coqutil github similar
• c-cube/ocaml-atomic github similar
• Mtac2/Mtac2 github similar
• namin/dot github similar
• amaurremi/dot-calculus github similar
• soren-n/bidi-higher-rank-poly github similar