minchingtonak / lambsterLinks
Lambda calculus interpreter written in TypeScript
☆38Updated 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☆225Updated this week
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆212Updated 11 months ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆149Updated 2 years ago
- Programming with pure lambda calculus☆140Updated last month
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆296Updated 3 weeks ago
- a BQN implementation in C☆386Updated this week
- An APL-like programming language☆1,028Updated 2 weeks ago
- Web interface for https://github.com/minchingtonak/lambster☆13Updated 3 months ago
- A human readable quasi-concatenative programming language☆260Updated 11 months ago
- Standard ML of New Jersey☆232Updated this week
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- x86 C compiler written in untyped lambda calculus☆681Updated 3 years ago
- Simple expression transformer that is not Coq.☆262Updated 2 years ago
- Inpla: Interaction nets as a programming language (the current version)☆317Updated 2 weeks ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆74Updated 3 weeks ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆69Updated 4 months ago
- A novel approach to finding your way in APL☆148Updated 2 weeks ago
- The single instruction language - Flip a bit, then Jump☆131Updated last year
- A garden of small programming language implementations 🪴☆307Updated this week
- A language server for Standard ML in Rust.☆235Updated last month
- A series of down-to-earth articles on implementing type inference☆165Updated 5 years ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆43Updated last year
- A fast functional language based on two level type theory☆392Updated 3 years ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆530Updated 5 months ago
- A functional, flexible and concise Lisp.☆299Updated 5 months ago
- A terse declarative logic programming language☆118Updated 5 years ago
- ☆355Updated 4 months ago
- Metamath source file for logic and set theory☆302Updated last week
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 4 years ago
- A Lisp interpreter written in untyped lambda calculus☆248Updated 2 years ago