Similar repositories to fpottier/loop:

• fpottier/loop github similar
• gibiansky/IHaskell github similar
• mathandley/RTick github similar
• bedrocksystems/cpp2v github similar
• Dargones/libraries github similar
• amahboubi/lia4mathcomp github similar
• CVC4/signatures github similar
• neel-krishnaswami/ott-example github similar
• c-cube/smtlib-utils github similar
• davidlazar/ocaml-semantics github similar
• slasser/CoStar github similar
• backtracking/program-proofs-with-why3 github similar
• validsdp/validsdp github similar
• coq-community/HighSchoolGeometry github similar
• drouhling/LaSalle github similar
• unison-code/uni-instr-sel github similar
• awslabs/typecart github similar
• Lysxia/coq-ceres github similar
• skbaek/Ethics github similar
• uw-unsat/jitsynth github similar
• EngineeringSoftware/roosterize github similar
• pmundkur/flowcaml github similar
• coq-community/hoare-tut github similar
• avsm/opam-boot github similar
• mmcco/verified-parser-example github similar
• aeflores/CoFloCo github similar
• uwplse/pumpkin-pi github similar
• akr/codegen github similar
• fpottier/minirust github similar
• mit-plv/rewriter github similar
• coq/bignums github similar
• coq-community/bignums github similar
• aws/aws-encryption-sdk-dafny github similar
• uwplse/cheerios github similar
• boogie-org/symdiff github similar
• coq-community/coqffi github similar
• mit-plv/bbv github similar
• affeldt-aist/coq-robot github similar
• coq-community/dblib github similar
• pierreroth64/git-style-guide github similar