Popular repositories

1. coq-of-rust coq-of-rust Public

   Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

   Coq 317 6

2. coq-of-ocaml coq-of-ocaml Public

   Formal verification for OCaml

   OCaml 242 18

3. coq-bonsai coq-bonsai Public

   🌳 Generate a fresh bonsai in your terminal

   Coq 24

4. coq-of-python coq-of-python Public

   Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.

   Coq 11

5. coq-of-ts coq-of-ts Public

   Formal verification for TypeScript

   TypeScript 9

6. coq-of-js coq-of-js Public

   🌍 🐓 Formal verification for JavaScript

   JavaScript 7