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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- The implementation of an SMTLib dialect for xDSL☆17Mar 16, 2026Updated last week
- ☆13May 2, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 6 years ago
- Prolog Technology Theorem Prover☆13Jun 19, 2024Updated last year
- Helping you select an MV* framework - Todo apps for Backbone.js, Ember.js, AngularJS, and many more☆11Jan 9, 2015Updated 11 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆16Aug 30, 2025Updated 6 months ago
- Minimal LISP Compiler for x86_64☆15Feb 22, 2022Updated 4 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- A simple Prolog API for the Z3 constraint solver☆15Feb 5, 2018Updated 8 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 10 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- Metamath logic game☆10Apr 16, 2025Updated 11 months ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 10 months ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Apr 1, 2024Updated last year
- A toy c compiler written in python☆11Jan 9, 2024Updated 2 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- JSON parser in c☆16Apr 1, 2025Updated 11 months 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
- Cartographic views of software, an Eclipse plug-in.☆21Feb 22, 2013Updated 13 years ago
- write changes from kakoune's *grep* buffer to respective files, (taken from occivink/kakoune-find)☆16Oct 2, 2024Updated last year
- Compiler for a language with Python-like syntax☆11Dec 13, 2018Updated 7 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆17Oct 23, 2012Updated 13 years ago
- miniKanren with a first-order representation of the search space☆17Mar 11, 2026Updated 2 weeks ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆26Mar 4, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Compositional Verification of Security Protocols☆32Mar 18, 2026Updated last week
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- Versatile heuristic partial order planner☆15Jul 10, 2023Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆24Sep 2, 2025Updated 6 months ago
- Easy typing of Unicode symbols in Emacs, tailored for Haskell sources☆14Sep 5, 2011Updated 14 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 2 months ago