Software Foundation Group
Popular repositories Loading
Repositories
Showing 10 of 31 repositories
- lambda-S-dti Public Forked from SoftwareFoundationGroupAtKyotoU/lambda-dti-compiler
Interpreter and compiler of the λS with dynamic type inference
SoftwareFoundationGroupAtKyotoU/lambda-S-dti’s past year of commit activity - lambda-dti-compiler Public Forked from ymyzk/lambda-dti
Interpreter of the ITGL with dynamic type inference
SoftwareFoundationGroupAtKyotoU/lambda-dti-compiler’s past year of commit activity - kuis-thesis-cover Public
SoftwareFoundationGroupAtKyotoU/kuis-thesis-cover’s past year of commit activity - rust Public Forked from rust-lang/rust
Empowering everyone to build reliable and efficient software.
SoftwareFoundationGroupAtKyotoU/rust’s past year of commit activity - 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 - probBBC Public
SoftwareFoundationGroupAtKyotoU/probBBC’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 - tysurgery Public
Artifacts of Type-Based Verification of Connectivity Constraints in Lattice Surgery
SoftwareFoundationGroupAtKyotoU/tysurgery’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…