Alternatives and similar repositories for Gleemin

Users that are interested in Gleemin are comparing it to the libraries listed below

• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 6 months ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated last year
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆148Updated 2 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆27Updated 6 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• larsyencken / marelle
  Test-driven system administration with a little extra logic.
  ☆387Updated 6 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated last year
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆85Updated 3 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• joeltg / ozymandias
  MIT Scheme environment for the browser
  ☆59Updated 7 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 5 months ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆57Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• twhume / superoptimiser
  Clojure program to exhaustively search for optimal Java programs
  ☆20Updated 12 years ago
• mrjbq7 / re-factor
  Small utilities and vocabularies implemented in the Factor programming language.
  ☆129Updated this week
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• akkartik / wart
  An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.
  ☆145Updated 4 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆197Updated 3 years ago