interaction-calculus

Here are 3 public repositories matching this topic...

⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.

JavaScript Engine for Interaction Nets

Program synthesis via HVM4 superpositions

Add a description, image, and links to the interaction-calculus topic page so that developers can more easily learn about it.

To associate your repository with the interaction-calculus topic, visit your repo's landing page and select "manage topics."