Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
A performant, type-1 zkEVM written in Rust & SP1.
-
-
Minimal library for Ethereum transactions, addresses and smart contracts.
-
A graphical pdf and epub reader that works inside the kitty terminal
-
Sioyek is a PDF viewer with a focus on textbooks and research papers
-
Formal Reasoning About Programs
-
A WIP definitional (co)datatype package for Lean4
-
Fast implementation of queue in OCaml
-
HoTTEST Summer School materials
-
A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.