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
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆35Updated 5 years ago
• noether-lang / noether
  Noether programming language
  ☆130Updated 8 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 8 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 10 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆48Updated last year
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆25Updated 7 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆214Updated 3 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 5 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 4 years ago
• sparist / Om
  The Om programming language.
  ☆174Updated last year
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• get-bonus / get-bonus
  an experimental video game development environment
  ☆104Updated 4 years ago
• ympbyc / Carrot
  Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…
  ☆67Updated 3 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 7 months ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆223Updated 3 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated last month
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆73Updated 12 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆24Updated 6 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago