-
-
verified-zkevm.org Public
Forked from Verified-zkEVM/verified-zkevm.orgJavaScript UpdatedApr 29, 2026 -
Dippy Public
Forked from ldayton/Dippy🐤 Less permission fatigue, more momentum. Dippy knows what’s safe to run and keeps Claude on track when plans change.
Python MIT License UpdatedApr 20, 2026 -
ragu Public
Forked from tachyon-zcash/raguRust language proof-carrying data framework
Rust Apache License 2.0 UpdatedMar 23, 2026 -
CompPoly Public
Forked from Verified-zkEVM/CompPolyA computable model of Polynomials in Lean.
Lean Apache License 2.0 UpdatedMar 8, 2026 -
Ethereum Virtual Machine Awesome List
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJan 7, 2026 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedDec 17, 2025 -
ItaLean2025 Public
Forked from pitmonticone/ItaLean2025Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.
HTML Apache License 2.0 UpdatedDec 7, 2025 -
iris-lean Public
Forked from Verified-zkEVM/iris-leanLean 4 port of Iris, a higher-order concurrent separation logic framework
Lean Apache License 2.0 UpdatedNov 28, 2025 -
lean-mlir Public
Forked from opencompl/lean-mlirA minimal development of SSA theory
MLIR Other UpdatedNov 10, 2025 -
-
garden Public
Forked from formal-land/gardenMake your zero-knowledge circuits safe with formal verification! 🍀
Rocq Prover MIT License UpdatedOct 28, 2025 -
cpp2v Public
Forked from SkyLabsAI/BRiCkFormalization of C++ for verification purposes.
Rocq Prover Other UpdatedOct 9, 2025 -
clean Public archive
Forked from Verified-zkEVM/cleanLean circuit DSL
Lean MIT License UpdatedJul 9, 2025 -
verifereum Public
Forked from verifereum/verifereumProve functional correctness of Ethereum smart contracts in higher-order logic
-
apollo Public
Forked from not-matthias/apolloModern and minimalistic blog theme.
JavaScript MIT License UpdatedApr 2, 2025 -
-
vmtrace_visualizer Public
A program that annotates a vm trace with dataflow information
-
dry-analyzer Public
Dr. Y's Ethereum Contract Analyzer
-
-
The start page about my efforts around smart contract verification
-
eth-isabelle Public
A Lem formalization of EVM and some Isabelle/HOL proofs
-
bamboo Public
Bamboo see https://github.com/cornellblockchain/bamboo
-
ethereum-word-list Public
Words are Hard: Defining Common Terms in the Ethereum / Crypto Space
-
yellowpaper Public
Forked from ethereum/yellowpaperThe "Yellow Paper": Ethereum's formal specification
-
-
snarky Public
Forked from o1-labs/snarkyOCaml DSL for verifiable computation
-
base Public
Forked from janestreet/baseStandard library for OCaml
OCaml MIT License UpdatedMay 22, 2020
{{ message }}