Alternatives and similar repositories for logictools

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

• 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
  ☆106Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 4 months ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆108Updated last week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆186Updated 5 years ago
• DaveVoorhis / Rel
  Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.
  ☆104Updated 3 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆174Updated this week
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆209Updated last year
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆157Updated last year
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆124Updated 12 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 4 months ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• eprover / eprover
  ☆155Updated 3 weeks ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 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.
  ☆129Updated 3 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆150Updated 5 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆130Updated 9 months ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 3 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆79Updated 2 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆40Updated 7 years ago