cicada-lang / inet-cute
An implementation of interaction nets in JS.
☆131Updated this week
Related projects ⓘ
Alternatives and complementary repositories for inet-cute
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆44Updated this week
- Cicada Language (PLCT little team)☆91Updated 2 weeks ago
- Cicada Language (solo version)☆128Updated 2 weeks ago
- a tiny tile-based editor☆284Updated this week
- The cuteness implementation of a dependently typed language.☆188Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆279Updated 3 weeks ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆172Updated this week
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- A small, weird and unpractical programming language.☆102Updated this week
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- A fast functional language based on two level type theory☆388Updated last year
- A language with lexical effect handlers and lightweight effect polymorphism☆334Updated this week
- A graphical interactive proof assistant designed for education☆161Updated this week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆76Updated last month
- A declarative concatenative programming language☆159Updated 3 weeks ago
- A minimal proof checker.☆65Updated 2 months ago
- Staged compilation with dependent types☆163Updated 2 weeks ago
- A high-level programming language☆36Updated this week
- A categorical programming language with effects☆267Updated last year
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- ☆110Updated 9 months ago
- Catalog of visual lambda calculi☆100Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- A modern supercompiler for call-by-value functional languages☆393Updated last week
- ☆96Updated 2 years ago
- Racket to WebAssembly Compiler☆27Updated 2 years ago
- A garden of small programming language implementations 🪴☆177Updated last week
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆221Updated 9 months ago