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
• sparist / Om
  The Om programming language.
  ☆174Updated last year
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆213Updated 2 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆35Updated 5 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 10 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆158Updated 9 months ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 16 years ago
• darius / cant
  A programming argot
  ☆57Updated last year
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆32Updated 6 years ago
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆67Updated 5 years ago
• 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
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 4 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 7 years ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆61Updated last month
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆59Updated 7 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago