Software Foundation Group
Popular repositories Loading
Repositories
Showing 10 of 29 repositories
- ott-tuto-stlc Public Forked from gfngfn/ott-paper-template
A template for writing papers using Ott (https://github.com/ott-lang/ott)
SoftwareFoundationGroupAtKyotoU/ott-tuto-stlc’s past year of commit activity - miniml-refenv Public
Toy ML-style langauge for staged computation with refined environment classifiers
SoftwareFoundationGroupAtKyotoU/miniml-refenv’s past year of commit activity - homfa-runner-experiments Public Forked from ys7i/homfa-runner-experiments
Running experiments of homfa-runner, homfa-converter.
SoftwareFoundationGroupAtKyotoU/homfa-runner-experiments’s past year of commit activity