Alternatives and similar repositories for prolog-checkers

Users that are interested in prolog-checkers are comparing it to the libraries listed below

• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• sqrt57 / x86-scheme
  Implementation of Scheme programming language in assembly
  ☆25Updated 7 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• camio / sbase
  ☆23Updated 10 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆15Updated last week
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆29Updated 6 years ago
• Anniepoo / swiplclpfd
  clp(fd) tutorial
  ☆20Updated last year
• matsud224 / wamcompiler
  Prolog implementation based on Warren's abstract machine
  ☆43Updated 5 years ago
• wouterbeek / prolog_graphviz
  A library for visualizing graphs in Prolog.
  ☆17Updated 9 months ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• rain-1 / tarot-compiler
  ☆18Updated 5 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated last month
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated this week
• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 7 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 8 years ago
• wdouglass / s7
  This is a small mirror of s7 scheme, the official distribution is here:
  ☆18Updated 4 years ago
• LeifAndersen / racket-to-c
  ☆29Updated 9 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• Lehs / BigZ
  Computational mathematics. Single cell arithmetic. Big integer arithmetic. Sets, groups, graphs, topology.
  ☆15Updated 7 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• eugeneia / microlisp
  Simple Lisp compiler. Compiles a minimal Lisp dialect to ANSI C.
  ☆19Updated 9 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• skeeto / wisp
  Wisp, a lisp programming language
  ☆39Updated 7 years ago