仓库

formal-land 的仓库

10 个支持的仓库

只显示包含已索引 issue 的仓库
formal-land/candy-for-charonRust

Interface with the rustc compiler for the purpose of program verification

最近提交 2023年1月25日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
formal-land/coq-bonsaiCoq

🌳 Generate a fresh bonsai in your terminal

最近提交 2021年10月4日

 (33 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
formal-land/coq-of-LLBCOCaml

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

最近提交 2023年2月9日

 (5 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
formal-land/coq-of-goCoq

Translation from Go to Coq - Experiment

最近提交 2024年5月1日

 (11 stars) (2 forks) (0 个已索引 issue) (0 个开放 good first issue)
formal-land/formal.landJavaScript

Formal Land website

最近提交 2026年5月23日

 (1 star) (3 forks) (0 个已索引 issue) (0 个开放 good first issue)
formal-land/rocq-code-assistantTypeScript

Visual Studio Code extension for AI-assisted coding

最近提交 2025年5月2日

 (6 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
formal-land/rocq-of-noirRust

Formal verification tool for Noir programs using the Rocq system

最近提交 2025年5月28日

 (11 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
formal-land/rocq-of-ocamlOCaml

Formal verification for OCaml, with Rocq

最近提交 2026年5月18日

 (276 stars) (20 forks) (0 个已索引 issue) (0 个开放 good first issue)
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)

最近提交 2026年3月29日

 (44 stars) (4 forks) (0 个已索引 issue) (0 个开放 good first issue)
formal-land/rocq-of-rustRocq Prover

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

最近提交 2026年6月4日

 (1,122 stars) (45 forks) (0 个已索引 issue) (0 个开放 good first issue)