Alternatives and similar repositories for lambda-core

Users that are interested in lambda-core are comparing it to the libraries listed below

• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆85Updated this week
• kciray8 / zerolambda
  100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
  ☆32Updated 10 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• tsoding / parcoom
  Parser Combinators of Monad
  ☆39Updated 5 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆310Updated this week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆140Updated last month
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆94Updated 10 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆131Updated last month
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 5 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 4 months ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆37Updated 2 years ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆213Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆261Updated 8 months ago
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆19Updated last year
• fir-lang / fir
  Fir programming language
  ☆91Updated this week
• ebresafegaga / tina
  Tina, a programming language with typed algebraic effects and handlers.
  ☆13Updated 4 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆71Updated this week
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆77Updated 2 years ago
• codereport / bqn-code
  A compilation of BQN solutions to various coding challenges.
  ☆12Updated this week
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆21Updated 2 weeks ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆87Updated last month
• uds-psl / Prog
  ☆91Updated 4 years ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated this week
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆340Updated this week
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆135Updated 7 months ago
• MondayMorningHaskell / haskellings
  An automated tutorial to teach you about Haskell!
  ☆182Updated 2 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• ocaml / ocaml.org
  The official OCaml website.
  ☆183Updated this week
• smlnj / smlnj
  Standard ML of New Jersey
  ☆234Updated 2 weeks ago