9 results found Sort:
- Filter by Primary Language:
- Rust (2)
- TypeScript (2)
- C (1)
- OCaml (1)
- Python (1)
- +
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Created
2023-05-16
10,308 commits to main branch, last one a day ago
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Created
2021-04-10
285 commits to main branch, last one 6 days ago
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, claus...
Created
2012-08-15
6,728 commits to master branch, last one about a year ago
This repository has no description...
Created
2016-11-09
4,253 commits to master branch, last one 13 days ago
Cicada Language (solo version)
Created
2021-03-28
6,372 commits to master branch, last one 2 months ago
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Created
2022-06-20
15 commits to main branch, last one about a year ago
Resolution theorem proving for predicate logic in pure Python.
Created
2017-03-04
96 commits to master branch, last one about a year ago
Cicada Language (PLCT little team)
Created
2022-08-07
1,874 commits to master branch, last one 2 months ago
A community-developed re-implementation of the Starkware Stone Prover
Created
2023-08-31
9 commits to main branch, last one 3 months ago