"topic:interaction-calculus" — Search | GitHunt

Repositories Developers Collections

© 2026 GitHunt · tansuasici

3 results for “topic:interaction-calculus”

SrGaabriel/soma

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

Lean631Updated 2 hours ago

compilerdependent-typesfunctional-programmingfunctional-programming-languageinteraction-calculusinteraction-combinatorsinteraction-netsllvmprogramming-language

codedot/inet-lib

JavaScript Engine for Interaction Nets

JavaScript81Updated 8 years ago

interaction-calculusinteraction-nets

Program synthesis via HVM4 superpositions

Python00Updated 3 weeks ago

hvm4interaction-calculuslambda-calculusprogram-synthesissuperposition