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/)
  ☆47Updated 11 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆107Updated 2 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.
  ☆132Updated 4 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆126Updated 12 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆29Updated 4 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆88Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated this week
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 7 months ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆210Updated 2 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 4 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆188Updated 6 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆132Updated last year
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 4 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 14 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆48Updated last year
• kwantam / lviv
  stack-based RPN functional programming language
  ☆55Updated 8 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆169Updated 13 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆92Updated 6 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 3 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 3 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆29Updated 10 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆217Updated last year