nick8325 / equinoxView external linksLinks
Paradox model finder and equinox theorem prover for first-order logic.
☆22Sep 20, 2025Updated 4 months ago
Alternatives and similar repositories for equinox
Users that are interested in equinox are comparing it to the libraries listed below
Sorting:
- ☆11Mar 20, 2025Updated 10 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- ☆19Feb 22, 2017Updated 8 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- A new script language based on Java☆11Apr 8, 2020Updated 5 years ago
- An automatic theorem prover for first order logic with equality☆32Jul 14, 2020Updated 5 years ago
- Typed effects API for OxCaml☆20Jan 15, 2026Updated 3 weeks ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Tools for MIL, a Monadic Intermediate Language☆23Oct 24, 2025Updated 3 months ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- A library for building bots compositionally.☆48Mar 10, 2025Updated 11 months ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- ☆21Mar 21, 2022Updated 3 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- A dialect of Lisp that designed for Minecraft Bedrock Command System.☆18Dec 23, 2023Updated 2 years ago
- RASP-L in Haskell for my fellow rascals☆20Dec 3, 2023Updated 2 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 5, 2026Updated last week
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- A verified polyhedral scheduling validator in Coq.☆23Oct 2, 2024Updated last year
- Voxel geometry structure generator☆22Apr 4, 2024Updated last year
- higher order dependently typed logic programing☆173Aug 7, 2018Updated 7 years ago
- A hip inductive theorem prover!☆90Nov 19, 2021Updated 4 years ago
- 豫言☆27Nov 15, 2025Updated 2 months ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 2 years ago
- Zombie chan revive!☆27Feb 27, 2024Updated last year
- ☆38Jan 22, 2026Updated 3 weeks ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated last year
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…☆35Jul 31, 2024Updated last year
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 5 months ago
- A programming language that runs in Minecraft BE by compiling into commands☆30Sep 7, 2025Updated 5 months ago
- IO for Gallina☆33Dec 17, 2025Updated last month
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆152Oct 14, 2024Updated last year
- Websocket lib for Minecraft bedrock☆24Jan 23, 2022Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last week
- being a particular fragment of Haskell, extended to a proof system☆43Dec 2, 2025Updated 2 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- find movie on yts from IMDB's watchlist☆12Jul 5, 2021Updated 4 years ago
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago