This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
☆60Oct 29, 2026Updated last week
Alternatives and similar repositories for inet-js
Users that are interested in inet-js are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of interaction nets as a forth-like language.☆46Oct 26, 2026Updated last week
- Inpla: Interaction nets as a programming language (the current version)☆334May 3, 2026Updated 6 months ago
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆15Aug 18, 2026Updated 2 months ago
- ☆24Mar 24, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A problems view for TypeScript errors☆12May 7, 2024Updated 2 years ago
- The Torus Blockchain implementation.☆25Jul 7, 2026Updated 4 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- an experimental new programming language based on interaction nets☆403Updated this week
- oneko-uxn - uxn 猫. port of oneko-sakura to uxn using chibicc-uxn☆30Jul 2, 2023Updated 3 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 4 years ago
- It's like Porth, but in C++. Yep, we're going full circle.☆20Dec 8, 2022Updated 3 years ago
- A minimal proof checker.☆83Sep 9, 2024Updated 2 years ago
- Interpreters and Boolean program generators for 115 esoteric languages.☆12Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Programming Language Void☆14Oct 21, 2026Updated 2 weeks ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- ☆121Feb 1, 2024Updated 2 years ago
- A Uxnemu for iOS☆21Jul 20, 2021Updated 5 years ago
- Standard ML (SML) grammar for tree-sitter☆15May 22, 2025Updated last year
- A small library for testing your types☆18Aug 23, 2026Updated 2 months ago
- A tiny command line utility to generate OTP tokens☆41Oct 22, 2023Updated 3 years ago
- various toys in j☆12Apr 13, 2022Updated 4 years ago
- An implementation of lambda calculus.☆26Mar 18, 2026Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆17Nov 7, 2021Updated 5 years ago
- ☆13May 7, 2023Updated 3 years ago
- Tool for displaying Japanese text in uxn ROMs☆13Jan 28, 2023Updated 3 years ago
- FPGA implementation of the Blit terminal☆14Dec 26, 2019Updated 6 years ago
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 3 years ago
- nool is nool☆11Sep 7, 2026Updated last month
- Web eForth via WASM☆10Jun 17, 2026Updated 4 months ago
- Moved to Codeberg☆10Jan 10, 2026Updated 9 months ago
- Collection of Kind2 programs and proofs☆12May 17, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Shipwreck OS☆10Oct 27, 2018Updated 8 years ago
- A forth-inspired, bytecode-compiled scripting language for Anachro Powerbus☆14Dec 8, 2021Updated 4 years ago
- Proof assistant☆13Dec 18, 2025Updated 10 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Mar 12, 2021Updated 5 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 5 years ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated last year
- b4 : a tiny forth-like virtual machine☆43Updated this week