Alternatives and similar repositories for Gleemin

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

• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 5 months ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated this week
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• get-bonus / get-bonus
  an experimental video game development environment
  ☆104Updated 4 years ago
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆27Updated 6 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated last year
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆214Updated 2 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 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
• jamesnvc / vuelog
  Prolog Pengines + vue.js
  ☆17Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 10 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 7 months ago
• cdosborn / lit
  A modern tool for literate programming
  ☆275Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 4 months ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• mflatt / expander
  ☆70Updated 2 months ago
• sparist / Om
  The Om programming language.
  ☆172Updated 7 months ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆132Updated 3 weeks ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago