minchingtonak / lambsterLinks
Lambda calculus interpreter written in TypeScript
☆31Updated last week
Alternatives and similar repositories for lambster
Users that are interested in lambster are comparing it to the libraries listed below
Sorting:
- Programming with pure lambda calculus☆108Updated last month
- Catalog of visual lambda calculi☆140Updated last month
- Cicada Language (PLCT little team)☆93Updated 5 months ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- A garden of small programming language implementations 🪴☆245Updated this week
- Cross-platform IDE for Dyalog APL☆213Updated last week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆139Updated last year
- A fast functional language based on two level type theory☆391Updated 2 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆59Updated this week
- Contextual types meet mechanized metatheory!☆190Updated 2 weeks ago
- SKI combinators☆55Updated 8 years ago
- A derivative approach to finding your way in BQN☆39Updated 2 months ago
- A website for the #proglangdesign community on freenode☆108Updated last month
- Web interface for https://github.com/minchingtonak/lambster☆9Updated 2 weeks ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆158Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆55Updated 2 years ago
- APL is the greatest language ever☆69Updated 5 months ago
- A human readable quasi-concatenative programming language☆252Updated 4 months ago
- A package containing many useful algorithms (borrowed from many other programming languages).☆13Updated last month
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆184Updated 4 months ago
- A declarative concatenative programming language☆164Updated 7 months ago
- A novel approach to finding your way in APL☆141Updated last week
- The future of programming.☆69Updated 4 years ago
- A Language with Dependent Data and Codata Types☆105Updated this week
- Informal collection of BQN utilities☆57Updated last week
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 5 months ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated this week
- Uiua bindings for Raylib☆26Updated this week
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- An menu/quick reference for Programming Language concepts☆20Updated last year