an experimental new programming language based on interaction nets
☆341Mar 4, 2026Updated this week
Alternatives and similar repositories for vine
Users that are interested in vine are comparing it to the libraries listed below
Sorting:
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 3 months ago
- Interaction net resources☆45Jan 29, 2026Updated last month
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆693Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆325Feb 28, 2026Updated last week
- Bologna Optimal Higher-Order Machine, Version 1.1☆85Feb 17, 2017Updated 9 years ago
- ☆121Feb 1, 2024Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆467Dec 5, 2025Updated 3 months ago
- Systems language with linear types and capability-based security.☆1,463Jul 28, 2025Updated 7 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Feb 25, 2026Updated last week
- A modern proof language☆3,728Jan 22, 2025Updated last year
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆42Jun 25, 2025Updated 8 months ago
- A massively parallel, optimal functional runtime in Rust☆11,218Nov 21, 2024Updated last year
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆934Nov 13, 2025Updated 3 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆58Jul 20, 2025Updated 7 months ago
- A language for building concurrent software with confidence☆1,258Updated this week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- A fast, friendly, functional language.☆5,509Updated this week
- HVM3☆278Jan 29, 2026Updated last month
- A language with dependent data and codata types☆130Updated this week
- The Flix Programming Language☆2,588Mar 2, 2026Updated last week
- ☆495Jun 11, 2024Updated last year
- A language with lexical effect handlers and lightweight effect polymorphism☆422Updated this week
- ☆141Feb 4, 2026Updated last month
- Optimal evaluator of λ-calculus terms.☆285Feb 4, 2023Updated 3 years ago
- A safe, easy systems language☆2,206Mar 3, 2026Updated last week
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆14Apr 4, 2023Updated 2 years ago
- ARCHIVED; will be rewritten eventually☆12Sep 12, 2025Updated 5 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆123Mar 1, 2026Updated last week
- Koka language compiler and interpreter☆3,823Feb 25, 2026Updated last week
- Demo for dependent types + runtime code generation☆72Feb 18, 2025Updated last year
- A minimal Rust TUI framework☆26Mar 1, 2026Updated last week
- an adaptable text editor☆672Jan 31, 2026Updated last month
- The Montreal Haskell Compiler☆26Oct 16, 2025Updated 4 months ago
- A friendly programming language from the future☆6,529Feb 26, 2026Updated last week
- Programming and interaction language. Flexible about syntax, strict about state.☆648Updated this week
- A coloful hexadecimal editor☆63Feb 15, 2026Updated 3 weeks ago
- A beautiful terminal UI for exploring and managing your Homebrew packages with ease.☆128Nov 12, 2025Updated 3 months ago