minchingtonak / lambsterLinks
Lambda calculus interpreter written in TypeScript
☆33Updated 2 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 last week
- A human readable quasi-concatenative programming language☆256Updated 7 months ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆145Updated last year
- An APL-like programming language☆995Updated 2 weeks ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆191Updated 7 months ago
- a BQN implementation in C☆368Updated last month
- Programming with pure lambda calculus☆117Updated this week
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆290Updated this week
- Standard ML of New Jersey☆219Updated this week
- A garden of small programming language implementations 🪴☆281Updated last week
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆514Updated last month
- A functional, flexible and concise Lisp.☆292Updated last month
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Cicada Language (PLCT little team)☆94Updated 8 months ago
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.☆60Updated 7 months ago
- x86 C compiler written in untyped lambda calculus☆666Updated 2 years ago
- A terse declarative logic programming language☆117Updated 5 years ago
- The future of programming.☆69Updated 4 years ago
- Metamath source file for logic and set theory☆291Updated last week
- A website for the #proglangdesign community on freenode☆112Updated last week
- Web interface for https://github.com/minchingtonak/lambster☆10Updated last month
- ☆328Updated 5 months ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Rhombus programming language☆478Updated this week
- A novel approach to finding your way in APL☆142Updated last month
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆125Updated 3 years ago
- The Knight Programming Language☆72Updated 3 months ago
- ☆106Updated 3 weeks ago