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
  ☆106Updated last month
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆139Updated last year
• Dyalog / ride
  Cross-platform IDE for Dyalog APL
  ☆212Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆108Updated 3 weeks ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆181Updated 5 years ago
• basilTeam / basil
  Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…
  ☆123Updated 3 years 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.
  ☆181Updated 3 months ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆140Updated last month
• dzaima / APL
  another APL derivative
  ☆88Updated 3 years ago
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆252Updated 3 months ago
• dzaima / CBQN
  a BQN implementation in C
  ☆352Updated this week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆311Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆224Updated this week
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆262Updated 9 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆368Updated this week
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 6 months ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆207Updated this week
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 4 months ago
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated this week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆328Updated last week
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆69Updated 5 months ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆225Updated last week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆136Updated last month
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆155Updated 4 years ago