Pinned Loading

1. while-interpreter while-interpreter Public

   WHILE program interpreter on counting equipment

   Python 1

2. inpla/inpla inpla/inpla Public

   Inpla: Interaction nets as a programming language (the current version)

   Yacc 277 8

3. inpla/train inpla/train Public

   Translator of a functional language to interaction nets (Inpla notation)

   C 2