minchingtonak / lambsterLinks
Lambda calculus interpreter written in TypeScript
☆34Updated 3 months ago
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☆218Updated 3 weeks ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆192Updated 7 months ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated last year
- a BQN implementation in C☆373Updated last month
- An APL-like programming language☆1,000Updated this week
- Programming with pure lambda calculus☆121Updated 3 weeks ago
- A human readable quasi-concatenative programming language☆257Updated 7 months ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆291Updated this week
- Standard ML of New Jersey☆220Updated this week
- x86 C compiler written in untyped lambda calculus☆668Updated 2 years ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- A garden of small programming language implementations 🪴☆287Updated this week
- A functional, flexible and concise Lisp.☆293Updated last month
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆515Updated last month
- ☆341Updated last week
- An menu/quick reference for Programming Language concepts☆20Updated last year
- The adventures of a Haskell compiler☆232Updated 4 months ago
- ☆108Updated last month
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Metamath source file for logic and set theory☆294Updated this week
- Rhombus programming language☆484Updated this week
- Simple expression transformer that is not Coq.☆263Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆311Updated 10 months ago
- J engine source mirror☆705Updated this week
- A novel approach to finding your way in APL☆142Updated last week
- Cicada Language (PLCT little team)☆94Updated 9 months ago
- Uiua bindings for Raylib☆29Updated last month
- Source Code for JSON Parser Video☆194Updated 2 years ago
- A terse declarative logic programming language☆117Updated 5 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆397Updated this week