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.
  ☆19Updated 2 years ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• zebreus / prolog-chess
  A simple minimax chess engine written in prolog
  ☆10Updated 2 years ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆30Updated 6 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
• SWI-Prolog / packages-cpp
  The SWI-Prolog C++ interface
  ☆35Updated last week
• tmikov / scheme2020
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Updated 5 years ago
• daiyousei-qz / Lolita
  An experimental lexer and parser generator
  ☆10Updated 7 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• vscosta / yap
  ☆56Updated 2 months ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆80Updated last week
• camio / sbase
  ☆23Updated 10 years ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆57Updated 10 years ago
• prolog8 / awkprolog
  Prolog in AWK
  ☆16Updated 8 years ago
• ccxvii / djvudec
  https://codeberg.org/ccxvii/djvudec
  ☆14Updated this week
• guenchi / SWL
  The Scheme Widget Library (SWL) is a windowing and graphics package for Chez Scheme
  ☆19Updated 6 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 14 years ago
• schmidda / ukkonen-suffixtree
  A C implementation of Ukkonen's suffix tree-building algorithm, with test suite and tree print.
  ☆21Updated 10 years ago
• txus / terrorvm
  Lightweight, fast Virtual Machine for dynamic, object-oriented languages.
  ☆42Updated 11 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• kimtg / ToyLisp
  A Simple Lisp Implementation in C. Based on Leo Howell's [Building LISP](http://www.lwh.jp/lisp/index.html) with bug fixes and enhancemen…
  ☆40Updated 11 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• shiinamiyuki / lunatic
  lunatic: a toy lua interpreter
  ☆18Updated 5 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 8 years ago
• gjvc / strongtalk-2020
  strongtalk-2020
  ☆14Updated 4 years ago
• viktor-shepel / frunzik
  Lightweight C library for functional programming.
  ☆36Updated 7 years ago
• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 3 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆28Updated 7 months ago