Alternatives and similar repositories for lambster:

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

• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated last week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆131Updated 2 weeks ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 4 months ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆139Updated last year
• Dyalog / ride
  Cross-platform IDE for Dyalog APL
  ☆211Updated 2 weeks ago
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆172Updated 2 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated last week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆309Updated this week
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆54Updated this week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆390Updated 2 years ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆206Updated last week
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆251Updated 2 months ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 6 months ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆108Updated 3 weeks ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆156Updated 2 years ago
• codereport / hoogle-translate
  ☆85Updated this week
• dzaima / CBQN
  a BQN implementation in C
  ☆350Updated this week
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated 4 months ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆138Updated 3 weeks ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆221Updated this week
• vmchale / pybqn
  BQN↔NumPy bridge
  ☆20Updated last month
• aya-lang / aya
  Pocket sized programs
  ☆57Updated last month
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆225Updated 4 months ago
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆38Updated last month
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆78Updated 3 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆128Updated 6 years ago
• didoudiaz / gprolog
  GNU Prolog
  ☆119Updated 2 weeks ago