Paradox model finder and equinox theorem prover for first-order logic.
☆22Sep 20, 2025Updated 5 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 11 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- ☆28Feb 28, 2026Updated last week
- A new script language based on Java☆11Apr 8, 2020Updated 5 years ago
- ☆19Feb 22, 2017Updated 9 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- An automatic theorem prover for first order logic with equality☆33Updated this week
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- ☆11Nov 23, 2024Updated last year
- Typed effects API for OxCaml☆25Jan 15, 2026Updated last month
- A launcher and mod loader for Minecraft PE☆15Feb 25, 2020Updated 6 years ago
- Tools for MIL, a Monadic Intermediate Language☆23Oct 24, 2025Updated 4 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- ☆21Mar 21, 2022Updated 3 years 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
- A library for building bots compositionally.☆52Mar 10, 2025Updated 11 months ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- RASP-L in Haskell for my fellow rascals☆20Dec 3, 2023Updated 2 years ago
- A dialect of Lisp that designed for Minecraft Bedrock Command System.☆18Dec 23, 2023Updated 2 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Updated this week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23May 9, 2018Updated 7 years ago
- A library that supports MCPE Websocket Protocol☆20Nov 20, 2025Updated 3 months ago
- A verified polyhedral scheduling validator in Coq.☆23Oct 2, 2024Updated last year
- A programming language for one-liner method chain lovers!☆25Dec 30, 2023Updated 2 years ago
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- Automatic testing of MoonBit programs☆28Updated this week
- Voxel geometry structure generator☆22Apr 4, 2024Updated last year
- higher order dependently typed logic programing☆173Aug 7, 2018Updated 7 years ago
- A type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- A hip inductive theorem prover!☆90Nov 19, 2021Updated 4 years ago
- 豫言☆27Nov 15, 2025Updated 3 months ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- A tool for proving and organizing general theorems using Python.☆33Updated this week
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated last year
- ☆10Jun 29, 2021Updated 4 years ago
- ☆40Jan 22, 2026Updated last month
- 关于东灯你不知道的事实☆27Feb 18, 2024Updated 2 years ago