Alternatives and similar repositories for lambster

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

• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• Dyalog / ride
  Cross-platform IDE for Dyalog APL
  ☆216Updated last week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆141Updated 2 months ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆142Updated last year
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆256Updated 4 months ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• dzaima / CBQN
  a BQN implementation in C
  ☆358Updated last week
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆110Updated 2 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆312Updated 3 weeks ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 8 months ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆268Updated this week
• blynn / compiler
  The adventures of a Haskell compiler
  ☆226Updated last month
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆184Updated 4 months ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆374Updated last week
• minchingtonak / lambster.dev
  Web interface for https://github.com/minchingtonak/lambster
  ☆9Updated last month
• digama0 / mm0
  Metamath Zero specification language
  ☆342Updated last month
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆191Updated last month
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆159Updated 2 weeks ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆210Updated last week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆307Updated 7 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆141Updated last month
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆137Updated 7 years ago
• knight-lang / knight-lang
  The Knight Programming Language
  ☆72Updated 3 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• Wodan58 / Joy
  Manfred von Thun's Programming Language Joy
  ☆92Updated 5 months ago
• uiua-lang / rayua
  Uiua bindings for Raylib
  ☆27Updated last week