#

interaction-calculus

Here are 3 public repositories matching this topic...

SrGaabriel / soma

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

programming-language dependent-types compiler functional-programming llvm interaction-nets interaction-calculus functional-programming-language interaction-combinators

Updated Jun 3, 2026
Lean

codedot / inet-lib

JavaScript Engine for Interaction Nets

interaction-nets interaction-calculus

Updated Mar 22, 2018
JavaScript

Lulzx / progen

Program synthesis via HVM4 superpositions

lambda-calculus program-synthesis superposition interaction-calculus hvm4

Updated Feb 23, 2026
Python

Add this topic to your repo

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