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
  ☆81Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆299Updated 2 weeks ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆19Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆136Updated 3 weeks ago
• tsoding / parcoom
  Parser Combinators of Monad
  ☆39Updated 5 years ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆130Updated 2 weeks ago
• fir-lang / fir
  Fir programming language
  ☆90Updated this week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆67Updated 3 months ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆93Updated 9 months ago
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 4 months ago
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 3 months ago
• codereport / bqn-code
  A compilation of BQN solutions to various coding challenges.
  ☆12Updated this week
• tsoding / simple-ocaml-raylib-template
  Intentionally Simple Raylib OCaml Template
  ☆40Updated 2 years ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆213Updated last year
• kciray8 / zerolambda
  100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
  ☆32Updated 9 months ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆149Updated 2 years ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆71Updated last year
• soupi / rfc
  My slides and compilation of resources.
  ☆157Updated last year
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆70Updated last year
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated 2 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 7 months ago
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆338Updated last week
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆22Updated last week
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆40Updated 2 months ago
• stefan-hoeck / idris2-tutorial
  ☆235Updated 4 months ago
• MondayMorningHaskell / haskellings
  An automated tutorial to teach you about Haskell!
  ☆181Updated 2 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆233Updated 3 weeks ago