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
  ☆104Updated 2 weeks ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 3 months ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆204Updated this week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆124Updated last year
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆187Updated 8 months ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated 3 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated this week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆305Updated last week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• Dyalog / ride
  Cross-platform IDE for Dyalog APL
  ☆211Updated last month
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆108Updated last week
• dzaima / CBQN
  a BQN implementation in C
  ☆348Updated last week
• blynn / compiler
  The adventures of a Haskell compiler
  ☆223Updated 3 months 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.
  ☆170Updated 2 months ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆138Updated this week
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 5 months ago
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆250Updated last month
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆389Updated 2 years ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 11 months 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 / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆220Updated this week
• codereport / racket-algorithms
  A package containing many useful algorithms (borrowed from many other programming languages).
  ☆13Updated 2 months ago
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆58Updated 2 months ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆153Updated 4 years ago
• dzaima / APL
  another APL derivative
  ☆87Updated 3 years ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆140Updated last year