─── language

Rocq Prover

10 repositories · 1,347 stars · 82 forks

─── top repos · by stars

formal-land/rocq-of-rust

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

Rocq Prover → Solana

★ 1,121

12 devs

AU-COBRA/ConCert

A framework for smart contract verification in Coq

Rocq Prover

★ 126

9 devs

formal-land/rocq-of-python

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

Rocq Prover → Tezos

★ 44

3 devs

formal-land/garden

Make your zero-knowledge circuits safe with formal verification! 🍀

Rocq Prover → Tezos

★ 33

5 devs

formal-land/100-specification-smart-contracts

💯 Full Specification Project for Smart Contracts

Rocq Prover → Tezos

★ 8

2 devs

remix7531/secp256k1-scalar-fv-test

Formal Verification of secp256k1 modular scalar multiplication

Rocq Prover → Bitcoin

★ 7

1 devs

Excalead/excalead

Continuous auditing for Solana smart contracts, with Formal Verification & AI

Rocq Prover → Solana

★ 4

2 devs

possientis/Prog

basic code practice

Rocq Prover → Bitcoin

★ 3

4 devs

AU-COBRA/OVN

Verified implementation of the Open Vote Network protocol

Rocq Prover → Concordium

★ 1

2 devs

igor53627/ubt-rs

Unified Binary Tree (EIP-7864) implementation in Rust with formal verification

Rocq Prover → Ethereum

★ 0

1 devs

─── subscriber view

Unlock the full view of Rocq Prover repos

· Full repository, commit, and contributor breakdown
· Peer graph + ecosystem links
· Weekly trend deltas and pulse signal
· API + CSV / JSON exports

[$] subscribe sign in

Already a subscriber? Sign in with the same email used at checkout.