Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
☆57Jul 22, 2026Updated 3 months ago
Alternatives and similar repositories for deltanets
Users that are interested in deltanets are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A high performance Nix runtime. Reproducible, parallel, and verifiable derivations and code.☆41Oct 1, 2026Updated last month
- effects, but optimal☆16Jan 9, 2026Updated 9 months ago
- Nix Algebraic Effects System with Handlers☆22Oct 11, 2026Updated 3 weeks ago
- Interaction net resources☆62Mar 25, 2026Updated 7 months ago
- Functional Reactive Programming for Nix based on Cycle.js☆19Jun 23, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆50Oct 6, 2026Updated 3 weeks ago
- Event-sourced task graphs, pattern learning, and swarm coordination for Claude Code☆15Jul 4, 2026Updated 4 months ago
- A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests☆16Jun 8, 2026Updated 4 months ago
- 📚 A collection of resources about interaction nets☆40Jun 9, 2026Updated 4 months ago
- A CLI tool for performing bottom-up translation of GNU Guix derivations into Nix.☆28Jul 30, 2026Updated 3 months ago
- DAGaaS. For nix.☆15Aug 13, 2026Updated 2 months ago
- Reactive Nix: Enabling Functional Reactive Configuration with mgmt☆15Feb 1, 2026Updated 9 months ago
- An implementation of interaction nets as a forth-like language.☆46Oct 26, 2026Updated last week
- ☆125May 30, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Pure Nix effects, typed validation, verified boundaries, and description-backed DSLs☆53Jul 4, 2026Updated 4 months ago
- A flake-inputs adapter for Nix projects that don't use `flake.nix`.☆24Updated this week
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated last year
- A minimal, stream-based Nix module system. Powered by nix-effects + bend + ned.☆48Jun 25, 2026Updated 4 months ago
- The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic…☆61Updated this week
- an experimental new programming language based on interaction nets☆401Sep 28, 2026Updated last month
- Rust Algebraic Effects System - modeled after https://github.com/vic/fx.go☆18Updated this week
- A flake checker (treefmt & nix-unit) for testing other flakes with zero dependencies.☆18Feb 28, 2026Updated 8 months ago
- My NixOS configuration☆22Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- Paisano's TUI/CLI companion☆21Feb 22, 2024Updated 2 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆819Oct 19, 2026Updated 2 weeks ago
- Pan around a Nix closure in your browser, one byte per pixel☆16Sep 15, 2026Updated last month
- Lordly NixOS Configurations☆29Oct 19, 2026Updated 2 weeks ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- Binary Lambda Calculus Virtual Machine☆61Jan 24, 2024Updated 2 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆50Updated 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.
- A plugin for flake.parts framework.☆51Sep 17, 2026Updated last month
- ☆25Updated this week
- This is the ual programming language☆31Updated this week
- Streaming parsers collection☆17Jun 19, 2020Updated 6 years ago
- A functional language with dependent types and customisable type representations☆13Jul 15, 2025Updated last year
- CSS based declarative framework for multi-node NixOS infrastructure.☆12Jun 5, 2026Updated 4 months ago
- A collection of type-based library search algorithms☆12Sep 8, 2026Updated last month