Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
☆17May 6, 2022Updated 3 years ago
Alternatives and similar repositories for robottwo
Users that are interested in robottwo are comparing it to the libraries listed below
Sorting:
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Teaching Rust, sharing patterns, and exploring real-world code.☆14Jul 9, 2021Updated 4 years ago
- SIDH C reference implementation☆13Jan 25, 2017Updated 9 years ago
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated last year
- An implementation of a post quantum anonymous credential scheme☆16Dec 18, 2024Updated last year
- A simplistic parsing library in Rust☆20Mar 22, 2020Updated 5 years ago
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated last month
- This is only the beginning.☆19Updated this week
- Cassowary constraint solving algorithm☆42Feb 3, 2026Updated last month
- Very controlled natural language tactics for Lean☆66Jan 25, 2024Updated 2 years ago
- Zcash primitives in pure JavaScript☆28Sep 25, 2017Updated 8 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Jun 7, 2024Updated last year
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆33Jun 29, 2015Updated 10 years ago
- Leibniz - a Digital Scientific Notation☆36Apr 11, 2025Updated 10 months ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆49Feb 4, 2026Updated last month
- ☆14Updated this week
- Data processing pipelines☆13Feb 9, 2026Updated 3 weeks ago
- Mystery Languages☆42Sep 6, 2023Updated 2 years ago
- A tool for secret-shared passphrases.☆14Jan 17, 2022Updated 4 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Dec 16, 2025Updated 2 months ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Feb 25, 2026Updated last week
- A Tool for the Static Analysis of Cache Side Channels☆42Mar 5, 2017Updated 9 years ago
- Lean4 port of Arduino balance car controller☆50Mar 17, 2021Updated 4 years ago
- An SMT Solver for string constraints☆49Feb 10, 2026Updated 3 weeks ago
- Coq library for tactics, basic definitions, sets, maps☆51Feb 13, 2026Updated 3 weeks ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Feb 3, 2018Updated 8 years ago
- A place to improve your RFC writing skills and collaborate on writing RFCs☆10Dec 1, 2016Updated 9 years ago
- libudev-compatible interface for devd☆15Nov 18, 2024Updated last year
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Oct 13, 2021Updated 4 years ago
- High-performance tokenized language data-loader for Python C++ extension☆14Jul 22, 2024Updated last year
- POC of CVE-2025-7783☆29Oct 31, 2025Updated 4 months ago
- ☆11May 14, 2023Updated 2 years ago
- Elasticsearch for Pharo Smalltalk☆10Aug 3, 2021Updated 4 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- A set of cryptographic proofs for simple protocols, to be formalised in various tools.☆21Updated this week