Similar repositories to strub/coqmt:
strub/coqmt
github
similar
danistefanovic/build-your-own-x
github
similar
leandrotk/functional-programming-learning-path
github
similar
meilisearch/MeiliSearch
github
similar
EugeneLoy/coq_jupyter
github
similar
PRIMITIVE-IO/primitive
github
similar
dvanhorn/redex-aam-tutorial
github
similar
flypitch/flypitch
github
similar
leanprover-community/lean-liquid
github
similar
tlemo/darwin
github
similar
certichain/toychain
github
similar
Ptival/PeaCoq
github
similar
mit-plv/fiat
github
similar
jack-pappas/fsharp-logic-examples
github
similar
Beluga-lang/Beluga
github
similar
astampoulis/makam
github
similar
LogicalAtomist/principia
github
similar
mit-plv/bedrock2
github
similar
design-patterns-for-humans/brazilian-portuguese
github
similar
jeanqasaur/pltalk
github
similar
statebox/idris-ct
github
similar
antalsz/hs-to-coq
github
similar
princeton-vl/CoqGym
github
similar
Kha/electrolysis
github
similar
vellvm/vellvm
github
similar
MarcoWorms/learn.js
github
similar
gramoli/synchrobench
github
similar
jrh13/hol-light
github
similar
EgbertRijke/HoTT-Intro
github
similar
ligurio/practical-fm
github
similar
szellmann/visionaray
github
similar
MTG/essentia.js
github
similar
mgechev/aspect.js
github
similar
GaloisInc/crucible
github
similar
edwinb/Blodwen
github
similar
GPUOpen-Archive/Anvil
github
similar
achlipala/frap
github
similar
josevalim/nested-data-structure-traversal
github
similar
michaelt/martin-lof
github
similar
Felienne/hedy
github
similar