9 results found Sort:

nayuki
Project-Euler-solutions nayuki
676
1.9k
unknown
131
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
java math proofs python haskell recursion algorithms mathematica mathematics number-theory project-euler dynamic-programming competitive-programming
Created 2011-06-12
774 commits to master branch, last one 6 months ago
FStarLang
karamel FStarLang
59
396
apache-2.0
43
KaRaMeL is a tool for extracting low-level F* programs to readable C code
f-star proofs c-language cryptography verification
Created 2016-05-27
3,927 commits to master branch, last one 11 hours ago
hoytech
quadrable hoytech
15
300
bsd-2-clause
10
Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
lmdb mvcc lmdbxx proofs database merkle-tree multi-version embedded-database authenticated-dictionaries
Created 2020-06-22
239 commits to master branch, last one about a year ago
AeneasVerif
aeneas AeneasVerif
15
199
apache-2.0
5
A verification toolchain for Rust programs
coq hol4 lean rust fstar ocaml proofs compiler rust-lang formal-methods deductive-reasoning formal-verification program-verification
Created 2021-11-02
2,510 commits to main branch, last one 22 hours ago
spamegg1
Math-for-CS-solutions spamegg1
26
138
other
3
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
math sets graph logic proofs calculus counting solution functions induction set-theory probability graph-theory random-walks number-theory computer-science rsa-cryptography
Created 2022-06-03
63 commits to master branch, last one 2 months ago
gapt
gapt gapt
18
94
gpl-3.0
12
GAPT: General Architecture for Proof Theory
proof scala proofs tactics sat-solver theorem-proving herbrand-disjunction
Created 2011-06-29
7,646 commits to master branch, last one about a month ago
ZKProofs
ZKProofs.github.io ZKProofs
51
89
unknown
15
ZKProofs website
proofs zk-snarks zero-knowledge
Created 2018-02-14
117 commits to master branch, last one 5 years ago
spamegg1
Epp-Discrete-Math-5th-solutions spamegg1
18
75
other
5
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
sets big-o logic trees graphs proofs circuits counting functions relations probability number-theory computer-science regular-expressions discrete-mathematics finite-state-automata algorithmic-complexity
Created 2023-04-19
104 commits to master branch, last one 14 days ago
wiktor-k
openpgp-proofs wiktor-k
4
54
apache-2.0
4
Like Keybase but distributed
proofs keybase openpgp
Created 2019-07-17
6 commits to master branch, last one 4 years ago