cicada-lang / inet-js
This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using a familiar JavaScript-like syntax :)
☆43Updated 3 weeks ago
Related projects: ⓘ
- An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer languag…☆130Updated 4 months ago
- A general purpose statically-typed concatenative programming language.☆49Updated last year
- Experimental, recursively-embeddable, domain-specific editors and text editor☆77Updated 11 months ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- ☆28Updated this week
- A high-level programming language☆35Updated this week
- ☆21Updated this week
- Programming with pure lambda calculus☆85Updated this week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆73Updated this week
- A minimal proof checker.☆58Updated last week
- WIP stack language that uses regex for control flow☆40Updated 11 months ago
- Cicada Language (PLCT little team)☆91Updated 4 months ago
- ☆51Updated 3 weeks ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- A petrifyingly good logic programming language☆26Updated last week
- Pure functional programming with whole-program mutability inference☆42Updated this week
- ☆25Updated this week
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆27Updated 5 months ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆24Updated this week
- Bologna Optimal Higher-Order Machine, Version 1.1☆64Updated 7 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆48Updated 2 years ago
- nool is nool☆11Updated 6 months ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- ☆105Updated 7 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- ☆33Updated 5 months ago
- Apple array system☆53Updated this week