Similar repositories to beta-ziliani/coq:

• beta-ziliani/coq github similar
• jet-framework/jet github similar
• JacquesCarette/GenCheck github similar
• imdea-software/fcsl-pcm github similar
• mit-plv/bbv github similar
• ulricha/dsh github similar
• DRMacIver/shrinkray github similar
• coq/ltac2 github similar
• tchajed/iris-simp-lang github similar
• coq-community/paramcoq github similar
• Mtac2/Mtac2 github similar
• vocal-project/vocal github similar
• LPCIC/coq-elpi github similar
• Karmaki/coq-dpdgraph github similar
• abella-prover/abella github similar
• LexiFi/dead_code_analyzer github similar
• mit-pdos/perennial github similar
• koka-lang/libmprompt github similar
• lindig/lua-ml github similar
• rems-project/lem github similar
• yallop/icfp2014-papers github similar
• Lysxia/advent-of-coq-2018 github similar
• stedolan/ppx_stage github similar
• DeepSpec/InteractionTrees github similar
• js-scala/js-scala github similar
• mattam82/Coq-Equations github similar
• lukaszcz/coqhammer github similar
• epfldata/squid github similar
• LPCIC/elpi github similar
• ott-lang/ott github similar
• MetaCoq/metacoq github similar
• Andromedans/andromeda github similar
• rntz/datafun github similar
• PrincetonUniversity/VST github similar
• ProofGeneral/PG github similar
• ocaml/ocaml-lsp github similar
• uwplse/verdi github similar
• ocsigen/lwt github similar
• emina/rosette github similar
• cvc5/cvc5 github similar