Similar repositories to meta-logic/sml-to-coq:

• meta-logic/sml-to-coq github similar
• danistefanovic/build-your-own-x github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• osense/masters github similar
• markisus/coq-ski github similar
• elpinal/tutor-ml-modules github similar
• brightly-salty/inversify github similar
• michaelsproul/dblib-linear github similar
• elpinal/types-1ml github similar
• elpinal/focused-modules github similar
• kitsuneninetails/rust-effects github similar
• ballesta25/Morpheus github similar
• dureuill/transfer github similar
• uelis/IntML github similar
• tlringer/thesis github similar
• CoqHott/exceptional-tt github similar
• imfd/GraphCoQL github similar
• matthesjh/coq-tal github similar
• ivashkev/math-formalizations github similar
• JoeyEremondi/lambda-pi-constraint github similar
• gmalecha/coq-printf github similar
• lpw25/shifted-names github similar
• coq-community/bits github similar
• elpinal/modules-rs github similar
• mb64/simple-lambda-prolog github similar
• hablapps/LensAlgebra github similar
• levjj/esverify-theory github similar
• ankitku/TAL0 github similar
• dboulytchev/miniKanren-coq github similar
• jdevuyst/rekenaar github similar
• elpinal/seqmod github similar
• catseye/Mascarpone github similar
• bobatkey/system-f-parametricity-model github similar
• soren-n/bidi-higher-rank-poly github similar
• effectfully/inference-in-agda github similar
• RobertHarper/hott-notes github similar
• Lysxia/coq-simple-io github similar
• maybevoid/lambek github similar
• elpinal/modules github similar
• LightAndLight/idris-but-its-c github similar