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 11 1

  2. NewcomerProject NewcomerProject Public

    Programming Project for PSG Newcomers

    2

  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 27 repositories
  • emfrp Public Forked from sawaken/emfrp

    Pure Functional Reactive Programming Language for Small-Scale Embedded Systems

    psg-titech/emfrp's past year of commit activity
    Ruby 11 BSD-3-Clause 5 2 1 Updated Sep 24, 2026
  • EmfrpDebugger Public Forked from YugoOtani/EmfrpDebugger
    psg-titech/EmfrpDebugger's past year of commit activity
    Python 0 1 0 0 Updated Jul 21, 2026
  • apris-2023-experiments Public

    Resources for the experiments in APRIS 2023.

    psg-titech/apris-2023-experiments's past year of commit activity
    Verilog 0 0 0 0 Updated Jun 13, 2026
  • MPLR2025-experiments Public

    Experimental Results for MPLR2025

    psg-titech/MPLR2025-experiments's past year of commit activity
    C 0 0 0 0 Updated Sep 18, 2025
  • IIST_proof Public
    psg-titech/IIST_proof's past year of commit activity
    Agda 0 MIT 0 0 0 Updated May 19, 2025
  • NewcomerProject Public

    Programming Project for PSG Newcomers

    psg-titech/NewcomerProject's past year of commit activity
    2 0 0 0 Updated Apr 11, 2025
  • rp-model-eval Public
    psg-titech/rp-model-eval's past year of commit activity
    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.

    psg-titech/emfrp-repl's past year of commit activity
    C 1 BSD-3-Clause 2 0 0 Updated Aug 9, 2024
  • tmp-disp Public
    psg-titech/tmp-disp's past year of commit activity
    C 0 0 0 0 Updated Jul 24, 2024
  • EmfrpVM Public Forked from YugoOtani/EmfrpVM
    psg-titech/EmfrpVM's past year of commit activity
    Assembly 0 1 0 0 Updated May 26, 2024
View all repositories

Most used topics

Loading…