Programming Systems Group
Programming Systems Group, Department of Computer Science, Institute of Science Tokyo
2-12-1 Ookayama, Meguroku, Tokyo, Japan
Pinned Repositories
contextEX
emfrp
Pure Functional Reactive Programming Language for Small-Scale Embedded Systems
emfrp-repl
A REPL implementation of Emfrp, running on low power devices.
emfrp_mbed_samples
Emfrp sample applications for Mbed OS
emfrp_samples
Emfrp sample applications for various devices
EmfrpWatch
Implementations for a digital watch example written in Emfrp / switch-extended Emfrp.
fandemo
FanController animation
IIST_proof
NewcomerProject
Programming Project for PSG Newcomers
XFRP-core
Programming Systems Group's Repositories
psg-titech/emfrp
Pure Functional Reactive Programming Language for Small-Scale Embedded Systems
psg-titech/emfrp-repl
A REPL implementation of Emfrp, running on low power devices.
psg-titech/emfrp_samples
Emfrp sample applications for various devices
psg-titech/NewcomerProject
Programming Project for PSG Newcomers
psg-titech/XFRP-core
psg-titech/cfrp
A compiler for CFRP, an FRP language aimed at embedded systems
psg-titech/contextEX
psg-titech/emfrp_mbed_samples
Emfrp sample applications for Mbed OS
psg-titech/EmfrpWatch
Implementations for a digital watch example written in Emfrp / switch-extended Emfrp.
psg-titech/fandemo
FanController animation
psg-titech/IIST_proof
psg-titech/sandal
A model checker for fault-prone message passing systems
psg-titech/sandal2
An extensible model checker for fault-prone message passing systems
psg-titech/xfrp-nim
XFRP compiler written in Nim
psg-titech/apris-2023-experiments
Resources for the experiments in APRIS 2023.
psg-titech/distributed-xfrp
Distributed XFRP Source & Example
psg-titech/EmfrpVM
psg-titech/erl-context
A prototype Erlang library for concurrent context-oriented programming
psg-titech/FRMIDICon
Functional Reactive MIDI Controller
psg-titech/FRMIDIConBoard1
Functional Reactive MIDI Controller Board #1
psg-titech/hae
An embedded DSL in Haskell for FRP on embedded systems
psg-titech/morevms-2023-experiments
A resources for the experiments in MoreVMs 2023.
psg-titech/tmp-disp
psg-titech/XFRP-G
Translator from XFRP to CUDA