Alternatives and similar repositories for Gleemin

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

• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆34Updated 5 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• sparist / Om
  The Om programming language.
  ☆174Updated last year
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆48Updated 10 months ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆24Updated this week
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆36Updated 4 years ago
• larsyencken / marelle
  Test-driven system administration with a little extra logic.
  ☆389Updated 7 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆14Updated 8 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆158Updated 7 months ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆39Updated 7 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆34Updated 4 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆57Updated 7 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago