Runnable code for solving Project Euler problems in Java, Python, Mathem...
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Authenticated multi-version database: sparse binary merkle tree with com...
Python code snippets from Discrete Mathematics for Computer Science spec...
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathemati...
GAPT: General Architecture for Proof Theory
ZKProofs website
Like Keybase but distributed
An example of how generate zero-knowledge proofs and verify using an Eth...