Repositories

formal-land repositories

10 supported repositories

Show repositories with indexed issues
formal-land/candy-for-charonRust

Interface with the rustc compiler for the purpose of program verification

Last commit Jan 25, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
formal-land/coq-bonsaiCoq

🌳 Generate a fresh bonsai in your terminal

Last commit Oct 4, 2021

 (33 stars) (1 fork) (0 indexed issues) (0 open good first issues)
formal-land/coq-of-LLBCOCaml

Translate Rust 🦀 LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq 🐓

Last commit Feb 9, 2023

 (5 stars) (1 fork) (0 indexed issues) (0 open good first issues)
formal-land/coq-of-goCoq

Translation from Go to Coq - Experiment

Last commit May 1, 2024

 (11 stars) (2 forks) (0 indexed issues) (0 open good first issues)
formal-land/formal.landJavaScript

Formal Land website

Last commit May 23, 2026

 (1 star) (3 forks) (0 indexed issues) (0 open good first issues)
formal-land/rocq-code-assistantTypeScript

Visual Studio Code extension for AI-assisted coding

Last commit May 2, 2025

 (6 stars) (1 fork) (0 indexed issues) (0 open good first issues)
formal-land/rocq-of-noirRust

Formal verification tool for Noir programs using the Rocq system

Last commit May 28, 2025

 (11 stars) (0 forks) (0 indexed issues) (0 open good first issues)
formal-land/rocq-of-ocamlOCaml

Formal verification for OCaml, with Rocq

Last commit May 18, 2026

 (276 stars) (20 forks) (0 indexed issues) (0 open good first issues)
formal-land/rocq-of-pythonRocq Prover

Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in pause)

Last commit Mar 29, 2026

 (44 stars) (4 forks) (0 indexed issues) (0 open good first issues)
formal-land/rocq-of-rustRocq Prover

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

Last commit Jun 4, 2026

 (1,122 stars) (45 forks) (0 indexed issues) (0 open good first issues)