sintan310

Hakuoh UniversityTochigi, Japan

Pinned Repositories

while-interpreter
WHILE program interpreter on counting equipment
Language:Python10
inpla
Inpla: Interaction nets as a programming language (the current version)
Language:Yacc2658
train
Translator of a functional language to interaction nets (Inpla notation)
Language:C20
inpla0.02
(old version) Inpla: Interaction nets as a programming language
Language:Yacc40

sintan310's Repositories

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