disconcision / noolLinks
nool is nool
☆11Updated 5 months ago
Alternatives and similar repositories for nool
Users that are interested in nool are comparing it to the libraries listed below
Sorting:
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆58Updated 6 months ago
- Mystery Languages☆41Updated 2 years ago
- Programming with pure lambda calculus☆140Updated last month
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- An implementation of interaction nets in JS.☆132Updated 6 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Updated 11 months ago
- Stack language compiled to lua☆22Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 4 months ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆44Updated 2 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆41Updated this week
- ☆55Updated 6 months ago
- Catalog of visual lambda calculi☆169Updated 6 months ago
- ☆46Updated 8 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆85Updated this week
- archived prototype for sketching dynamic models☆39Updated 7 months ago
- a tiny tile-based editor☆317Updated 2 months ago
- Compiler that has been integrated into Okami now☆24Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆124Updated last week
- Forsp: A Forth+Lisp Hybrid Lambda Calculus Language☆218Updated last year
- A garden of small programming language implementations 🪴☆310Updated this week
- SKI combinators☆56Updated 8 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆17Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 months ago
- High-level interface for low-level programming☆123Updated 2 months ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆151Updated this week
- Library of math functions for the Uiua programming language☆31Updated 3 weeks ago