Programming Research Group @ Science Tokyo (nee TokyoTech)
Department of Mathematical and Computing Sciences, Institute of Science Tokyo (formerly Tokyo Institute of Technology)
- 26 followers
- Tokyo, Japan
- https://prg.is.titech.ac.jp/
Pinned Loading
Repositories
Showing 10 of 62 repositories
- safe-fluent-dsls Public
This repository is for research on embedding fluent DSLs into host languages safely. Static/Compile-time checks are supposed to ensure that embedded-DSL terms are syntactically correct, and well-formed.
- guardlint Public
- baccaml Public
Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
- acmart-prg-template Public template
- choreographic-graded Public
- effect-handlers-cps Public
- cargo-mangling-examples Public
Top languages
Loading…
Most used topics
Loading…