minchingtonak / lambsterLinks
Lambda calculus interpreter written in TypeScript
☆37Updated 3 weeks ago
Alternatives and similar repositories for lambster
Users that are interested in lambster are comparing it to the libraries listed below
Sorting:
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆202Updated 9 months ago
- Cross-platform IDE for Dyalog APL☆219Updated last month
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated 2 years ago
- A garden of small programming language implementations 🪴☆292Updated this week
- Programming with pure lambda calculus☆128Updated this week
- a BQN implementation in C☆382Updated last week
- An APL-like programming language☆1,012Updated last week
- A human readable quasi-concatenative programming language☆259Updated 9 months ago
- Source Code for JSON Parser Video☆194Updated 2 years ago
- Source Code from "Making Music with Haskell" video☆141Updated 5 years ago
- ☆113Updated 3 weeks ago
- Standard ML of New Jersey☆226Updated this week
- Cicada Language (PLCT little team)☆94Updated 10 months ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Inpla: Interaction nets as a programming language (the current version)☆314Updated last year
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- J engine source mirror☆712Updated this week
- Web interface for https://github.com/minchingtonak/lambster☆13Updated 3 weeks ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆294Updated 2 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated 2 weeks ago
- The Knight Programming Language☆74Updated 5 months ago
- A language server for Standard ML in Rust.☆230Updated 2 months ago
- A series of down-to-earth articles on implementing type inference☆161Updated 5 years ago
- Like APL, but with emojis☆15Updated 3 years ago
- Simple expression transformer that is not Coq.☆263Updated 2 years ago
- x86 C compiler written in untyped lambda calculus☆672Updated 3 years ago
- The future of programming.☆69Updated 4 years ago
- A website for the #proglangdesign community on freenode☆112Updated last week
- ☆347Updated last month