Alternatives and similar repositories for prolog-checkers

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

• shiinamiyuki / lunatic
  lunatic: a toy lua interpreter
  ☆18Updated 4 years ago
• naegelejd / luci
  Another dynamically-typed, lightweight programming language
  ☆12Updated 10 years ago
• HackerFoo / startle
  Startle C Library
  ☆18Updated 6 years ago
• 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
• wbhart / comb
  Combinators in C
  ☆38Updated 12 years ago
• kstephens / subc
  SubC Compiler : By Nils M Holm, 2011--2012
  ☆16Updated 12 years ago
• rolandbernard / basic-jit
  A JIT compiler for the BASIC programming language
  ☆12Updated 3 years ago
• eugeneia / microlisp
  Simple Lisp compiler. Compiles a minimal Lisp dialect to ANSI C.
  ☆19Updated 9 years ago
• Anniepoo / swiplclpfd
  clp(fd) tutorial
  ☆20Updated last year
• rain-1 / single_cream
  single file scheme interpreter with tail call optimization
  ☆82Updated 6 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• dumblob / rt_clk_sync
  Hard Real-Time world-wide clock synchronization utilizing new better algorithms than PTP and NTP uses.
  ☆13Updated 9 years ago
• camio / sbase
  ☆23Updated 10 years ago
• Lehs / BigZ
  Computational mathematics. Single cell arithmetic. Big integer arithmetic. Sets, groups, graphs, topology.
  ☆15Updated 7 years ago
• ShichenLiu / C-compiler
  C to LLVM / Python compiler
  ☆10Updated 8 years ago
• DangerOnTheRanger / schego
  An R7RS implementation of Scheme written in Go
  ☆13Updated 7 years ago
• gaujay / simd_collection
  A collection of highly optimized, SIMD-accelerated (SSE, AVX, FMA, NEON) functions written in C
  ☆16Updated 3 years ago
• asutton / lingo
  A library of tools for compiler construction.
  ☆12Updated 9 years ago
• ccxvii / djvudec
  A DjVu decoder
  ☆14Updated 6 years ago
• jaunerc / minimax-prolog
  minimax in SWI Prolog for Tic Tac Toe
  ☆10Updated 7 years ago
• rurban / libbf
  mirror of Fabrice Bellard's libbf tar releases
  ☆12Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• SWI-Prolog / packages-pengines
  Pengines: Prolog engines
  ☆12Updated 2 weeks ago
• eiselekd / MinimalLisp
  Minimal Lisp/Forth
  ☆11Updated 4 months ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆27Updated 6 years ago
• rochus-keller / nappgui
  SDK for building cross-platform desktop apps in ANSI-C
  ☆13Updated 2 years ago
• hpmsxjtu / PHASE
  PHASE(Parallel High-performence Agent-based Simulation Environment)
  ☆9Updated 4 years ago
• graninas / Haskell-Algorithms
  Learning Haskell: algorithms, data structures, mini-programs, materials, excercises
  ☆17Updated 5 years ago
• andrewtron3000 / embedded-ml
  A compiler for a Standard-ML like language that generates code suitable for embedded computers.
  ☆10Updated last year