Alternatives and similar repositories for prolog-checkers

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

• thezerobit / wamcc
  WAMCC is a WAM-based Prolog to C compiler.
  ☆11Updated 11 years ago
• alan-j-hu / Asparserations
  Asparserations is an LR(1) and LALR(1) parser generator frontend. It outputs JSON representing the parse table.
  ☆20Updated 2 years ago
• zebreus / prolog-chess
  A simple minimax chess engine written in prolog
  ☆10Updated 2 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 14 years ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆31Updated 6 years ago
• guenchi / SWL
  The Scheme Widget Library (SWL) is a windowing and graphics package for Chez Scheme
  ☆19Updated 6 years ago
• rspivak / serval
  Simple Scheme interpreter in Python
  ☆28Updated 14 years ago
• DangerOnTheRanger / schego
  An R7RS implementation of Scheme written in Go
  ☆13Updated 7 years ago
• kstephens / subc
  SubC Compiler : By Nils M Holm, 2011--2012
  ☆16Updated 13 years ago
• txus / terrorvm
  Lightweight, fast Virtual Machine for dynamic, object-oriented languages.
  ☆42Updated 11 years ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• guenchi / Ballista
  a Express style webframework for Igropyr (Chez Scheme http-server)
  ☆22Updated 2 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• AshleyF / Lispkit
  Lispkit Lisp/SECD Machine
  ☆12Updated 8 years ago
• ccxvii / djvudec
  https://codeberg.org/ccxvii/djvudec
  ☆14Updated 3 weeks ago
• cosmoharrigan / pyrolog
  Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
  ☆24Updated 11 years ago
• samsergey / formica
  A "functionally oriented" Racket dialect.
  ☆44Updated 3 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• tmikov / scheme2020
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Updated 5 years ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆57Updated 11 years ago
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• vscosta / yap
  ☆58Updated 3 months ago
• metaeducation / ren-cpp
  Red (red-lang.org) and Rebol C++ Binding
  ☆18Updated last year
• nukata / little-scheme
  A meta-circular interpreter of a subset of Scheme
  ☆15Updated 5 years ago
• EricZinda / InductorProlog
  Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
  ☆15Updated last year
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆64Updated 8 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 12 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago