Alternatives and similar repositories for logictools

Users that are interested in logictools are comparing it to the libraries listed below

• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆165Updated 13 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• tammet / gkc
  A reasoning system for large knowledge bases.
  ☆30Updated 4 months ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆200Updated last year
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆85Updated 2 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated this week
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆120Updated 12 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆104Updated last week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 5 months ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 4 years ago
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆123Updated 3 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆69Updated 4 months ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated last year
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated last week
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• eprover / eprover
  ☆139Updated this week
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago