リポジトリ

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)