An implementation of interaction nets as a forth-like language.
☆46Oct 26, 2026Updated last week
Alternatives and similar repositories for inet-forth
Users that are interested in inet-forth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆60Jul 20, 2025Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Toy programming language☆20May 18, 2024Updated 2 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An implementation of interaction nets in JS.☆133Jul 20, 2025Updated last year
- A forth-inspired, bytecode-compiled scripting language for Anachro Powerbus☆14Dec 8, 2021Updated 4 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆50Oct 6, 2026Updated 3 weeks ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 2 weeks ago
- typed/racket + effect system☆11Aug 31, 2025Updated last year
- ☆24Mar 24, 2026Updated 7 months ago
- Reference compiler for c0☆43Apr 7, 2026Updated 6 months ago
- Inpla: Interaction nets as a programming language (the current version)☆334May 3, 2026Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Sep 17, 2026Updated last month
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆138Aug 7, 2026Updated 2 months ago
- operating system but in effekt (poc)☆18Sep 16, 2026Updated last month
- Interaction net resources☆62Mar 25, 2026Updated 7 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆22Jul 19, 2016Updated 10 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆23Jun 4, 2026Updated 4 months ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- theme inspired by transfem emo aesthetics - special for cat girls 💜😺☆11Sep 29, 2026Updated last month
- Bologna Optimal Higher-Order Machine, Version 1.1☆90Feb 17, 2017Updated 9 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆27Apr 7, 2025Updated last year
- a lib☆11Oct 16, 2025Updated last year
- my personal lang☆18Dec 31, 2023Updated 2 years ago
- Defining the semantics of K in K☆16May 6, 2020Updated 6 years ago
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 4 years ago
- an experimental new programming language based on interaction nets☆401Sep 28, 2026Updated last month
- Demo for dependent types + runtime code generation☆72Sep 9, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A compile-to-JavaScript language with tight TypeScript integration.☆23Oct 15, 2023Updated 3 years ago
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆57Jul 22, 2026Updated 3 months ago
- 🧪 | LLVM backend for HVM☆24May 23, 2023Updated 3 years ago
- Forth system for M68K machines, origin: http://hardcode.de/us/index.html☆21Jul 22, 2019Updated 7 years ago
- Implementation for ICFP 2020 paper☆53Jul 5, 2021Updated 5 years ago
- Forthscript programming language interpreter☆18Oct 20, 2022Updated 4 years ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆27Aug 20, 2024Updated 2 years ago