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
  ☆50Updated 8 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆85Updated last year
• get-bonus / get-bonus
  an experimental video game development environment
  ☆104Updated 3 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆38Updated last month
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆40Updated last week
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 11 months ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated last year
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆28Updated 7 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated this week
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 5 months ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 6 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆67Updated 11 years ago
• shikantaza / pLisp
  Don't Lisp, Talk!
  ☆57Updated 9 months ago
• jeapostrophe / pict3d
  3-dimensional picts
  ☆39Updated this week
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 4 months ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• larsyencken / marelle
  Test-driven system administration with a little extra logic.
  ☆388Updated 6 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 2 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆20Updated 4 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆76Updated 6 months ago