#
Starred repositories
Extracting the semantics of Noir to Lean for formal verification
A project to digitalise results from physics into Lean.
deprecated, use Verified-zkEVM repository instead
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Lean 4 kernel / 'external checker' written in Lean 4
comparing the performance of different zero-knowledge proof libraries
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
The "batteries included" extended library for the Lean programming language and theorem prover
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
The continuing development of the legendary VBA gameboy advance emulator.
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
Cryptographic routines for the Lean 4 language
HoTTEST Summer School materials
A book about functional programming in Lean
Publishes curated news about the Haskell programming language.
A zero-knowledge Lean4 compiler and kernel