danaugrs/deltanets

Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction

57

1 commits

updated Jul 22, 2026

README

Delta-Nets: Interaction-Based System for Optimal Parallel Lambda-Reduction

Research Paper: https://arxiv.org/abs/2505.20314

Interactive Demo: https://deltanets.org

Screenshot of ∆-Nets Demo

deno-fresh

fp

functional-programming

lambdacalculus

visualizer

Contributors

1 commits

Similar repos

liao4s/DOPD

This repository is used to show the open source code mentioned in DOPD.

8

VictorTaelin/absal-ex

Absal ex

60

archit-spec/easydel

0

albyzyx/swarm-lm-node

0

Lakonik/pi-FLUX.1

Official demo of the paper:

4

etiamz/supercompilation-resources

📚 A collection of resources about supercompilation

129

etiamz/optiscope

A Lévy-optimal lambda calculus reducer with a backdoor to C

48

Lakonik/pi-FLUX.2

Official demo of the paper:

14

danaugrs/deltanets

Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction

57

1 commits

updated Jul 22, 2026

README

Delta-Nets: Interaction-Based System for Optimal Parallel Lambda-Reduction

Research Paper: https://arxiv.org/abs/2505.20314

Interactive Demo: https://deltanets.org

Screenshot of ∆-Nets Demo

deno-fresh

fp

functional-programming

lambdacalculus

visualizer

Similar repos

liao4s/DOPD

This repository is used to show the open source code mentioned in DOPD.

8

VictorTaelin/absal-ex

Absal ex

60

archit-spec/easydel

0

albyzyx/swarm-lm-node

0

Lakonik/pi-FLUX.1

Official demo of the paper:

4

etiamz/supercompilation-resources

📚 A collection of resources about supercompilation

129

etiamz/optiscope

A Lévy-optimal lambda calculus reducer with a backdoor to C

48

Lakonik/pi-FLUX.2

Official demo of the paper:

14

Contributors

1 commits