1. 10
    Inpla: Interaction nets as a programming language compsci math programming github.com
    arcade avatar via arcade 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
    1. 3
      tekknolagi avatar tekknolagi 4 months ago | link

      A related project (not mentioned in the readme): https://github.com/HigherOrderCO/HVM

      1. 1
        arcade avatar arcade 4 months ago | link

        Oh yeah! HVM is super cool.