Similar repositories to mbrcknl/spacemacs-coq:

• mbrcknl/spacemacs-coq github similar
• danistefanovic/build-your-own-x github similar
• larrytheliquid/leveling-up github similar
• mit-plv/rupicola github similar
• LightAndLight/idris-but-its-c github similar
• OPLSS/oplss-notes-2017 github similar
• olivierverdier/spacemacs-coq github similar
• melted/idris-chez github similar
• gallais/potpourri github similar
• wilbowma/mttex github similar
• david-christiansen/epigram1 github similar
• LightAndLight/qtt github similar
• coq-contribs/coq-in-coq github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• llvm-hs/llvm-hs-examples github similar
• isovector/cccc github similar
• pigworker/CS410-14 github similar
• UlfNorell/insane github similar
• gallais/generic-syntax github similar
• alhassy/next-700-module-systems github similar
• dlicata335/hott-agda github similar
• patricoferris/awesome-multicore-ocaml github similar
• DeepSpec/dsss17 github similar
• xuexue/neuralkanren github similar
• david-christiansen/idris-type-providers github similar
• gasche/popl2018-papers github similar
• edwinb/SPLV20 github similar
• leepike/SmartCheck github similar
• dpndnt/library github similar
• ProofSystem/Encyclopedia github similar
• jonsterling/JonPRL github similar
• UlfNorell/agda-prelude github similar
• joom/hezarfen github similar
• idris-hackers/idris-crypto github similar
• haskell-repa/repa github similar
• discus-lang/iron github similar
• ilyasergey/pnp github similar
• bamboo/idris-cil github similar
• edwinb/TypeDD-Samples github similar
• githwxi/ATS-Xanadu github similar