Skip to content
@psg-titech

Programming Systems Group

Programming Systems Group, Department of Computer Science, Institute of Science Tokyo

Popular repositories Loading

  1. emfrp emfrp Public

    Forked from sawaken/emfrp

    Pure Functional Reactive Programming Language for Small-Scale Embedded Systems

    Ruby 7 1

  2. NewcomerProject NewcomerProject Public

    Programming Project for PSG Newcomers

    1

  3. emfrp_samples emfrp_samples Public

    Emfrp sample applications for various devices

    C++ 1

  4. XFRP-core XFRP-core Public

    OCaml 1

  5. emfrp-repl emfrp-repl Public

    A REPL implementation of Emfrp, running on low power devices.

    C 1 2

  6. sandal2 sandal2 Public

    Forked from k0kubun/sandal

    An extensible model checker for fault-prone message passing systems

    Go

Repositories

Showing 10 of 25 repositories
  • NewcomerProject Public

    Programming Project for PSG Newcomers

    1 0 0 0 Updated Apr 11, 2025
  • rp-model-eval Public
    Python 0 BSD-3-Clause 0 0 0 Updated Mar 12, 2025
  • emfrp-repl Public

    A REPL implementation of Emfrp, running on low power devices.

    C 1 BSD-3-Clause 2 0 0 Updated Aug 9, 2024
  • tmp-disp Public
    C 0 0 0 0 Updated Jul 24, 2024
  • IIST_proof Public
    Agda 0 0 0 0 Updated Jun 20, 2024
  • EmfrpVM Public Forked from YugoOtani/EmfrpVM
    Assembly 0 1 0 0 Updated May 26, 2024
  • apris-2023-experiments Public

    Resources for the experiments in APRIS 2023.

    Verilog 0 0 0 0 Updated Oct 21, 2023
  • FRMIDICon Public

    Functional Reactive MIDI Controller

    C++ 0 0 0 0 Updated Sep 24, 2023
  • FRMIDIConBoard1 Public

    Functional Reactive MIDI Controller Board #1

    C++ 0 MIT 0 0 0 Updated May 17, 2023
  • morevms-2023-experiments Public

    A resources for the experiments in MoreVMs 2023.

    Verilog 0 0 0 0 Updated Apr 30, 2023
View all repositories