minchingtonak / lambsterLinks
Lambda calculus interpreter written in TypeScript
☆32Updated last month
Alternatives and similar repositories for lambster
Users that are interested in lambster are comparing it to the libraries listed below
Sorting:
- Cross-platform IDE for Dyalog APL☆217Updated this week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆142Updated last year
- a BQN implementation in C☆363Updated 2 weeks ago
- A human readable quasi-concatenative programming language☆256Updated 5 months ago
- An APL-like programming language☆980Updated 2 weeks ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆286Updated last week
- Web interface for https://github.com/minchingtonak/lambster☆9Updated last month
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A functional, flexible and concise Lisp.☆290Updated last year
- A novel approach to finding your way in APL☆142Updated last month
- Programming with pure lambda calculus☆111Updated 3 weeks ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆185Updated 5 months ago
- Standard ML of New Jersey☆213Updated last week
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆514Updated last week
- Metamath source file for logic and set theory☆288Updated last week
- A Lisp interpreter written in untyped lambda calculus☆243Updated 2 years ago
- A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.☆59Updated 6 months ago
- The Principia Rewrite☆224Updated 5 months ago
- Rhombus programming language☆468Updated last week
- ☆314Updated 3 months ago
- The best coding experience for Racket in VS Code☆208Updated last month
- A terse declarative logic programming language☆118Updated 4 years ago
- x86 C compiler written in untyped lambda calculus☆662Updated 2 years ago
- The future of programming.☆69Updated 4 years ago
- Inpla: Interaction nets as a programming language (the current version)☆309Updated 8 months ago
- A garden of small programming language implementations 🪴☆272Updated this week
- A package containing many useful algorithms (borrowed from many other programming languages).☆13Updated 3 months ago
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- A Lisp interpreter implemented in Conway's Game of Life☆463Updated 3 years ago
- Cicada Language (PLCT little team)☆93Updated 6 months ago