minchingtonak / lambster
Lambda calculus interpreter written in TypeScript
☆26Updated last year
Alternatives and similar repositories for lambster:
Users that are interested in lambster are comparing it to the libraries listed below
- Cicada Language (PLCT little team)☆92Updated 3 weeks ago
- Cross-platform IDE for Dyalog APL☆207Updated 3 weeks ago
- Functional golfing language inspired by Haskell.☆77Updated 3 years ago
- The adventures of a Haskell compiler☆215Updated last month
- The future of programming.☆70Updated 3 years ago
- A terse declarative logic programming language☆118Updated 4 years ago
- a BQN implementation in C☆336Updated this week
- Source Code from "Making Music with Haskell" video☆134Updated 4 years ago
- A website for the #proglangdesign community on freenode☆108Updated last month
- A fast functional language based on two level type theory☆388Updated 2 years ago
- Programming with pure lambda calculus☆90Updated last week
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆162Updated last week
- Embeddable Lambda Prolog Interpreter☆296Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆353Updated this week
- A garden of small programming language implementations 🪴☆185Updated this week
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆122Updated 3 years ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆135Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- Standard ML of New Jersey☆194Updated this week
- APL is the greatest language ever☆67Updated last month
- A human readable quasi-concatenative programming language☆248Updated last week
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 10 years ago
- Contextual types meet mechanized metatheory!☆185Updated 5 months ago
- A web site for converting haskell code into pointfree haskell code☆162Updated 2 years ago
- A codegolf language for mortals☆31Updated last month
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- ☆78Updated 4 months ago
- Catalog of visual lambda calculi☆106Updated last year
- An experimental non-deterministic concatenative golfing language☆22Updated last week
- The Happy parser generator for Haskell☆296Updated this week