sintan310

Hakuoh UniversityTochigi, Japan

Pinned Repositories

inpla
Inpla: Interaction nets as a programming language (the current version)
Language:Yacc276 12 18
inpla0.02
(old version) Inpla: Interaction nets as a programming language
Language:Yacc4 2 00
train
Translator of a functional language to interaction nets (Inpla notation)
Language:C2 1 00
while-interpreter
WHILE program interpreter on counting equipment
Language:Python1 1 00

sintan310's Repositories

sintan310/while-interpreter
WHILE program interpreter on counting equipment
Language:Python1 1 00