The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.
☆74Sep 8, 2020Updated 5 years ago
Alternatives and similar repositories for logictools
Users that are interested in logictools are comparing it to the libraries listed below
Sorting:
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 4 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- Minimal LISP Compiler for x86_64☆15Feb 22, 2022Updated 4 years ago
- Prolog Technology Theorem Prover☆13Jun 19, 2024Updated last year
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- A toy c compiler written in python☆11Jan 9, 2024Updated 2 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆17Oct 23, 2012Updated 13 years ago
- JSON parser in c☆16Apr 1, 2025Updated 11 months ago
- r3 virtual machine, succesor of :r4☆17Dec 31, 2020Updated 5 years ago
- ☆13May 2, 2023Updated 2 years ago
- vm and compiler for a small lisp☆12Aug 28, 2021Updated 4 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- VATA Tree Automata Library☆34Feb 3, 2026Updated last month
- RISC-V toy operating system developed on live stream☆16Aug 10, 2021Updated 4 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Aug 21, 2025Updated 6 months ago
- Extension for the wax programming language in VS Code (highlight + transpile + run)☆17Nov 6, 2020Updated 5 years ago
- ☆18Aug 20, 2019Updated 6 years ago
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 7 years ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 10 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- Proof of Concept implementation + Brief Tutorial of the Meltdown and Spectre attacks [+ Flush/Realod]☆16Feb 1, 2019Updated 7 years ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 7 years ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 3 years ago
- A tutorial on writing wasm by hand☆23Apr 4, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/scheme-complete☆17Dec 5, 2024Updated last year
- Compositional Verification of Security Protocols☆30Feb 19, 2026Updated 2 weeks ago