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 16 days ago
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Created
2016-05-27
3,649 commits to master branch, last one 5 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 about a year ago
A verification toolchain for Rust programs
Created
2021-11-02
2,237 commits to main branch, last one a day 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
62 commits to master branch, last one 8 months ago
GAPT: General Architecture for Proof Theory
Created
2011-06-29
7,543 commits to master branch, last one 24 days ago
ZKProofs website
Created
2018-02-14
117 commits to master branch, last one 4 years ago
Like Keybase but distributed
Created
2019-07-17
6 commits to master branch, last one 4 years ago
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
Created
2023-04-19
86 commits to master branch, last one 4 months ago