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
• DangerOnTheRanger / schego
  An R7RS implementation of Scheme written in Go
  ☆13Updated 7 years ago
• ccxvii / djvudec
  https://codeberg.org/ccxvii/djvudec
  ☆14Updated 2 months ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆31Updated 6 years ago
• tmikov / scheme2020
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Updated 5 years 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
• guenchi / SWL
  The Scheme Widget Library (SWL) is a windowing and graphics package for Chez Scheme
  ☆19Updated 6 years ago
• shiinamiyuki / lunatic
  lunatic: a toy lua interpreter
  ☆18Updated 5 years ago
• true-grue / PigletC
  A toy C-like language compiler for PigletVM
  ☆63Updated 5 years ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆57Updated 11 years ago
• arkanis / lisp.c
  My second Lisp interpreter (bytecode compiler and interpreter) written in GNU C
  ☆28Updated 6 years ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆83Updated last month
• hermanstehouwer / Enhanced-Suffix-Arrays
  A flexible implementation of enhanced suffix arrays in template based C++. Supports single and multi-position wildcard. Fast queries than…
  ☆21Updated 5 years ago
• codr7 / cidk
  interpreter devkit
  ☆25Updated 6 years ago
• rspivak / serval
  Simple Scheme interpreter in Python
  ☆28Updated 14 years ago
• zebreus / prolog-chess
  A simple minimax chess engine written in prolog
  ☆11Updated 2 years ago
• daiyousei-qz / Lolita
  An experimental lexer and parser generator
  ☆10Updated 7 years ago
• catseye / minischeme
  MIRROR of https://codeberg.org/catseye/minischeme : Cat's Eye Technologies' fork of the original public-domain Mini-Scheme implementation…
  ☆72Updated 7 years ago
• 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
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆86Updated 4 years ago
• wgtdkp / kawaii
  A kawaii Scheme interpreter in C
  ☆19Updated 8 years ago
• pboyer / scheme.js
  The 10 millionth JavaScript Scheme interpreter.
  ☆15Updated 5 years ago
• guenchi / AISI
  An Introduction to Scheme and its Implementation - Zhcn
  ☆11Updated 6 years ago
• eevolang / eevo
  eevo ­­­­­- simple yet expressive high-level scripting language (formerly known as tisp)
  ☆27Updated last month
• vscosta / yap
  ☆60Updated this week
• guenchi / Ballista
  a Express style webframework for Igropyr (Chez Scheme http-server)
  ☆22Updated 2 years ago
• kuba-- / ut
  Yet Another Efficient Unification Algorithm
  ☆28Updated 3 weeks ago