Alternatives and similar repositories for combinator

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

• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆227Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆136Updated last month
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆164Updated 5 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆335Updated last month
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆291Updated 2 years ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated 2 weeks ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated 2 months ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆192Updated 2 years ago
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆324Updated 6 months ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆149Updated 2 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆69Updated 3 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆304Updated this week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 3 years ago
• stefan-hoeck / idris2-tutorial
  ☆235Updated 5 months ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆158Updated this week
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆273Updated 4 months ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆235Updated last month
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆33Updated 2 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆236Updated 2 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• smlhelp / book
  deployment for smlhelp page
  ☆42Updated 6 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆147Updated last month
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆64Updated 7 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated this week
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated last week
• smlnj / smlnj
  Standard ML of New Jersey
  ☆231Updated last week