Similar repositories to bacam/coqjvm:

• bacam/coqjvm github similar
• Ralith/quasigroup-completion github similar
• gibiansky/IHaskell github similar
• kmein/telegram-ciphers github similar
• djspiewak/wronglisp github similar
• bobatkey/coqjvm github similar
• nmvdw/Three-HITs github similar
• uulm-ai/scadd github similar
• jpaykin/DifferentialCohesiveHoTT github similar
• eval-so/frontend github similar
• Fuuzetsu/agdoparsec github similar
• jonsterling/Agda-Sheaves github similar
• jwiegley/set-theory github similar
• o29/n2o github similar
• LeifW/online-typechecker github similar
• IanOrton/decomposing-univalence github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• jdoughertyii/hott-exercises github similar
• amutake/coq-extensible-effects github similar
• SimonJF/IdrisNet github similar
• mankyKitty/idris-webgl github similar
• pigworker/LibAgda github similar
• nmvdw/groupoids github similar
• FranckS/RingIdris github similar
• kik/Four-Color-Theorem-Maintenance github similar
• Heather/Idris.Yaml github similar
• orca-lang/orca github similar
• larrytheliquid/generic-elim github similar
• xuwei-k/iarray github similar
• dschepler/coq-topology github similar
• coq-io/system github similar
• julianhyde/morel github similar
• neel-krishnaswami/adjs github similar
• edwinb/Eff-new github similar
• sellout/Idris-CPDT github similar
• jonsterling/constructive-sheaf-semantics github similar
• soenkehahn/dead-code-detection github similar
• jmchapman/Big-step-Normalisation github similar
• matijapretnar/proofs github similar
• okomok/strcat github similar