Alternatives

Products that do what FLP Impossibility Theorem Proof in Coq does

1DH
Diffie-Hellman exchange for the layman▲75
2021 · borisreitman.com
2LC
Libconcurrent – Coroutines in C▲91
2016 · github.com
3RL
Risp – Lisp in Rust▲314
2019 · m.stopa.io
4AR
A Rigorous Proofless Approach to Linear Algebra [pdf]▲14
2017 · github.com
5PA
"Programming Algorithms in Lisp” Book▲232
2021 · apress.com
6ZK
Zero-Knowledge Proofs in WebAssembly▲81
2019 · zkwasm.kobi.one
7MB
My book, The Common Lisp Condition System▲177
2020 · amazon.com
8DT
Dependently typed language for proofs that you can implement in one day▲138
2021 · github.com
9AN
Algebraic Number Theory in Python 3▲157
2018 · github.com
10LF
Logarithmic Flappy 2048▲135
2014 · logarithmic-flappy-2048.ajf.me
11PA
Poica – Algebraic data types and type introspection for pure C▲116
2020 · github.com
12PC
Proof Companion – Geometry proof practice for students▲64
2017 · proofcompanion.com
13ML
Minimal Lisp in ~70 lines of Haskell▲76
2011 · gist.github.com
14BI
Bel in Clojure▲116
2022 · stopa.io
15SR
Simple refined types implementation that can prevent Heartbleed▲56
2014 · github.com
16CA
CLMM, an exercise in cryptographic minimalism▲22
2015 · github.com
17LA
Llr – a Clojure inspired Lisp that compiles to R in R▲63
2021 · github.com
18TA
The A-C Coupling Theorem – Solving Diophantine Systems in O(1)▲5
Jun 2026 · zenodo.org
19OH
Optimizing Higher Order Functions with Hypothetical Inverses▲55
2016 · medium.com
20LL
LCON – Ludicrously Compact Object Notation▲35
2014 · github.com
21FA
Functors, Applicative Functors and Monads in PHP▲46
2015 · github.com
22HA
Heresy, a BASIC-inspired functional Lisp▲34
2014 · github.com
23TA
Tt – a Python library/cli for Boolean expressions▲23
2017 · github.com
24AI
An Interpreter for Extended Relational Algebra (Scheme Based)▲52
2016 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →