minchingtonak / lambsterLinks
Lambda calculus interpreter written in TypeScript
☆38Updated 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☆221Updated last month
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆147Updated 2 years ago
- Web interface for https://github.com/minchingtonak/lambster☆13Updated last month
- a BQN implementation in C☆383Updated this week
- Programming with pure lambda calculus☆133Updated this week
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆205Updated 10 months ago
- An APL-like programming language☆1,015Updated 2 weeks ago
- ☆113Updated 2 weeks ago
- Standard ML of New Jersey☆230Updated this week
- A garden of small programming language implementations 🪴☆297Updated this week
- Source Code for JSON Parser Video☆196Updated 2 years ago
- The future of programming.☆69Updated 4 years ago
- Metamath source file for logic and set theory☆298Updated last week
- Catalog of visual lambda calculi☆161Updated 4 months ago
- A novel approach to finding your way in APL☆144Updated 2 weeks ago
- A package containing many useful algorithms (borrowed from many other programming languages).☆14Updated 7 months ago
- A human readable quasi-concatenative programming language☆258Updated 10 months ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- ☆350Updated 2 months ago
- A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.☆60Updated 11 months ago
- A functional, flexible and concise Lisp.☆296Updated 4 months ago
- Inpla: Interaction nets as a programming language (the current version)☆315Updated last year
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆44Updated last month
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆295Updated last week
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆526Updated 4 months ago
- Source Code from "Making Music with Haskell" video☆141Updated 5 years ago
- A language server for Standard ML in Rust.☆230Updated 2 months ago
- Metamath program - source code for the Metamath executable☆89Updated last week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆406Updated last week
- Embeddable Lambda Prolog Interpreter☆327Updated 2 weeks ago