Search Results - RepositoryStats

677

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 7 months ago

karamel FStarLang

61

401

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,956 commits to master branch, last one a day ago

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

aeneas AeneasVerif

15

219

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,684 commits to main branch, last one 3 days ago

Math-for-CS-solutions spamegg1

26

142

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 3 months ago

gapt gapt

18

95

gpl-3.0

13

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 2 months ago

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

Epp-Discrete-Math-5th-solutions spamegg1

18

77

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

129 commits to master branch, last one 26 days ago

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