proofs topic
Math-for-CS-solutions
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Project-Euler-solutions
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
quadrable
Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
gapt
GAPT: General Architecture for Proof Theory
ZKProofs.github.io
ZKProofs website
openpgp-proofs
Like Keybase but distributed
lens-algebra
Type level algebraic "proofs" using lens combinators
aeneas
A verification toolchain for Rust programs