Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Java
Updated Mar 11, 2019
"SAT/SMT by example" free ebook
Mathematica
Updated Feb 7, 2019
KreMLin is a tool for extracting low-level F* programs to readable C code
OCaml
Updated Mar 21, 2019
GAPT: General Architecture for Proof Theory
Scala
Updated Mar 21, 2019
ZKProofs website
Updated Feb 28, 2019
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
Updated Feb 20, 2019
Just some of my CS Proofs, things like why `k << 1 == k * 2`
TeX
Updated Apr 22, 2017
Fully proved small C functions (examples for verification course).
C
Updated Jun 26, 2017
Idris proofs for extensional equalities
Idris
Updated Jun 18, 2018
My master thesis on Whitebox cryptography & AES Whitebox schemes.
TeX
Updated Jul 15, 2014
A formal study of Moessner's sieve
Coq
Updated Jan 26, 2019
This is a test website that deals with stories of cats that behave like humans.
HTML
Updated Oct 17, 2018
Repository to upload my own proofs of concept and some code examples
AspectJ
Updated May 10, 2018
A collection of notes, summary sheets, and homework for UCSB's complex analysis series.
TeX
Updated Sep 13, 2017
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting propertie…
TeX
Updated Feb 13, 2018
Theorems, Definitions, Papers, Research
TeX
Updated Feb 7, 2019
Recolección de teoría, teoremas y demostraciones
TeX
Updated Sep 12, 2017
ADT and Proof editor
Swift
Updated Oct 23, 2018
Exercises in Agda
Agda
Updated Dec 24, 2018
Working through the exercises in "A Friendly Introduction to Group Theory"
TeX
Updated Nov 27, 2017
Proofs for assignments from online math courses I've found while self-studying math from a rigorous PoV.
TeX
Updated Mar 1, 2019
Selected solutions and notes from various Coq learning resources.
Coq
Updated Mar 14, 2017
Design and Analysis of Data Structures
Updated Feb 7, 2019
Interactive Proof Assistant for Welder
Scala
Updated Jul 17, 2017
Writing as many algorithms of any kind as possible. Sometimes will include proof and analysis.
Python
Updated Mar 20, 2019
A proof of confluence for combinatory logic
Coq
Updated Jan 16, 2017
Java
Updated Dec 18, 2018
Homeworks for math logic course in ITMO University
Java
Updated May 3, 2018
Zcash Redux - Redux helper for connecting to Zcash Daemon
JavaScript
Updated Aug 19, 2018
