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
  ☆57Updated 9 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years 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
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆48Updated last year
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 16 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆14Updated 9 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆35Updated 5 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 10 years ago
• mrjbq7 / re-factor
  Small utilities and vocabularies implemented in the Factor programming language.
  ☆152Updated last month
• sparist / Om
  The Om programming language.
  ☆174Updated last year
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 4 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 7 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆25Updated 2 months ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 10 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 11 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 8 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated last month
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆28Updated 7 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• triska / proloxy
  Prolog Reverse Proxy
  ☆20Updated 7 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• rodrigosetti / stamps
  A language for producing art
  ☆116Updated 6 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆87Updated 4 years ago