Repository

Repository di formal-land

10 repository supportati

Mostra repository con issue indicizzate
formal-land/candy-for-charonRust

Interface with the rustc compiler for the purpose of program verification

Ultimo commit 25 gen 2023

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
formal-land/coq-bonsaiCoq

🌳 Generate a fresh bonsai in your terminal

Ultimo commit 4 ott 2021

 (33 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
formal-land/coq-of-LLBCOCaml

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

Ultimo commit 9 feb 2023

 (5 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
formal-land/coq-of-goCoq

Translation from Go to Coq - Experiment

Ultimo commit 1 mag 2024

 (11 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)
formal-land/formal.landJavaScript

Formal Land website

Ultimo commit 23 mag 2026

 (1 star) (3 fork) (0 issue indicizzate) (0 good first issue aperte)
formal-land/rocq-code-assistantTypeScript

Visual Studio Code extension for AI-assisted coding

Ultimo commit 2 mag 2025

 (6 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
formal-land/rocq-of-noirRust

Formal verification tool for Noir programs using the Rocq system

Ultimo commit 28 mag 2025

 (11 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
formal-land/rocq-of-ocamlOCaml

Formal verification for OCaml, with Rocq

Ultimo commit 18 mag 2026

 (276 star) (20 fork) (0 issue indicizzate) (0 good first issue aperte)
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)

Ultimo commit 29 mar 2026

 (44 star) (4 fork) (0 issue indicizzate) (0 good first issue aperte)
formal-land/rocq-of-rustRocq Prover

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

Ultimo commit 4 giu 2026

 (1122 star) (45 fork) (0 issue indicizzate) (0 good first issue aperte)