9 results found Sort:
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Created
2011-06-12
774 commits to master branch, last one 11 months ago
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Created
2016-05-27
4,167 commits to master branch, last one 2 days ago
Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
Created
2020-06-22
239 commits to master branch, last one 2 years ago
A verification toolchain for Rust programs
Created
2021-11-02
3,169 commits to main branch, last one 2 days ago
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Created
2022-06-03
63 commits to master branch, last one 7 months ago
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
Created
2023-04-19
151 commits to master branch, last one about a month ago
GAPT: General Architecture for Proof Theory
Created
2011-06-29
7,754 commits to master branch, last one about a month ago
ZKProofs website
Created
2018-02-14
117 commits to master branch, last one 5 years ago
Like Keybase but distributed
Created
2019-07-17
6 commits to master branch, last one 4 years ago