COLLECTED BY
Organization:
Internet Archive
Focused crawls are collections of frequently-updated webcrawl data from narrow (as opposed to broad or wide) web crawls, often focused on a single domain or subdomain.
The Wayback Machine - https://web.archive.org/web/20201004035923/https://github.com/topics/proofs
Here are
57 public repositories
matching this topic...
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
KreMLin is a tool for extracting low-level F* programs to readable C code
Updated
Sep 29, 2020
OCaml
GAPT: General Architecture for Proof Theory
Updated
Sep 20, 2020
Scala
Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
Like Keybase but distributed
Updated
Sep 12, 2020
JavaScript
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
Type level algebraic "proofs" using lens combinators
Updated
Jul 26, 2019
Haskell
Fully proved small C functions (examples for verification course).
Just some of my CS Proofs, things like why `k << 1 == k * 2`
Translate natural deduction proofs into natural language.
Updated
Jun 26, 2020
OCaml
Idris proofs for extensional equalities
Updated
Jun 18, 2018
Idris
F-omega with interval kinds mechanized in Agda
My master thesis on Whitebox cryptography & AES Whitebox schemes.
Learning formal proofs in mathematics/computer science/logic by formalizing them in the Agda language. A project I am working on in my free time.
Updated
Sep 13, 2020
Agda
Lightweight formal verification system developed to support research on usability of automated proof verification tools.
Updated
Sep 11, 2017
Haskell
Theorems, Definitions, Papers, Research
Repository to upload my own proofs of concept and some code examples
Updated
May 10, 2018
AspectJ
A collection of notes, summary sheets, and homework for UCSB's complex analysis series.
This is a test website that deals with stories of cats that behave like humans.
A formal study of Moessner's sieve
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
Updated
Jul 31, 2018
Common Lisp
Working through the exercises in "A Friendly Introduction to Group Theory"
Recolección de teoría, teoremas y demostraciones
Zcash Redux - Redux helper for connecting to Zcash Daemon
Updated
Aug 19, 2018
JavaScript
Updated
Jun 12, 2019
JavaScript
Selected solutions and notes from various Coq learning resources.
Updated
Dec 24, 2018
Agda
drat2er: Proof Transformer for Propositional Logic
Improve this page
Add a description, image, and links to the
proofs
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
proofs
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
