Skip to content

@psg-titech Programming Systems Group

Change the repository type filter

All

    Repositories list

    25 repositories

    • IIST_proof

      Public
      Agda
      •
      MIT License
      •0•0•0•0•Updated May 19, 2025May 19, 2025

    • NewcomerProject

      Public
      Programming Project for PSG Newcomers
      0•2•0•0•Updated Apr 11, 2025Apr 11, 2025

    • rp-model-eval

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 12, 2025Mar 12, 2025

    • emfrp-repl

      Public
      A REPL implementation of Emfrp, running on low power devices.
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •2•1•0•0•Updated Aug 9, 2024Aug 9, 2024

    • tmp-disp

      Public
      C
      •0•0•0•0•Updated Jul 24, 2024Jul 24, 2024

    • EmfrpVM

      Public
      Assembly
      •1•0•0•0•Updated May 26, 2024May 26, 2024

    • apris-2023-experiments

      Public
      Resources for the experiments in APRIS 2023.
      Verilog
      •0•0•0•0•Updated Oct 21, 2023Oct 21, 2023

    • FRMIDICon

      Public
      Functional Reactive MIDI Controller
      C++
      •0•0•0•0•Updated Sep 24, 2023Sep 24, 2023

    • FRMIDIConBoard1

      Public
      Functional Reactive MIDI Controller Board #1
      C++
      •
      MIT License
      •0•0•0•0•Updated May 17, 2023May 17, 2023

    • morevms-2023-experiments

      Public
      A resources for the experiments in MoreVMs 2023.
      Verilog
      •0•0•0•0•Updated Apr 30, 2023Apr 30, 2023

    • emfrp_samples

      Public
      Emfrp sample applications for various devices
      C++
      •
      MIT License
      •0•1•0•0•Updated Oct 29, 2022Oct 29, 2022

    • xfrp-nim

      Public
      XFRP compiler written in Nim
      Nim
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Apr 2, 2022Apr 2, 2022

    • emfrp

      Public
      Pure Functional Reactive Programming Language for Small-Scale Embedded Systems
      Ruby
      •
      BSD 3-Clause "New" or "Revised" License
      •5•7•2•1•Updated Mar 7, 2021Mar 7, 2021

    • XFRP-G

      Public
      Translator from XFRP to CUDA
      OCaml
      •
      MIT License
      •2•0•3•0•Updated Feb 24, 2021Feb 24, 2021

    • fandemo

      Public
      FanController animation
      Processing
      •
      MIT License
      •0•0•0•0•Updated Apr 23, 2020Apr 23, 2020

    • EmfrpWatch

      Public
      Implementations for a digital watch example written in Emfrp / switch-extended Emfrp.
      Makefile
      •0•0•0•0•Updated Dec 2, 2019Dec 2, 2019

    • XFRP-core

      Public
      OCaml
      •
      MIT License
      •0•1•1•0•Updated Apr 26, 2019Apr 26, 2019

    • distributed-xfrp

      Public
      Distributed XFRP Source & Example
      OCaml
      •2•0•0•0•Updated Feb 1, 2019Feb 1, 2019

    • emfrp_mbed_samples

      Public
      Emfrp sample applications for Mbed OS
      Makefile
      •
      MIT License
      •0•0•0•0•Updated Oct 25, 2018Oct 25, 2018

    • hae

      Public
      An embedded DSL in Haskell for FRP on embedded systems
      Haskell
      •
      Other
      •1•0•0•0•Updated Sep 13, 2018Sep 13, 2018

    • contextEX

      Public
      Elixir
      •2•0•0•0•Updated Jan 9, 2017Jan 9, 2017

    • cfrp

      Public
      A compiler for CFRP, an FRP language aimed at embedded systems
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Aug 23, 2016Aug 23, 2016

    • sandal

      Public
      A model checker for fault-prone message passing systems
      Go
      •3•0•0•0•Updated Aug 7, 2015Aug 7, 2015

    • sandal2

      Public
      An extensible model checker for fault-prone message passing systems
      Go
      •1•0•0•0•Updated Feb 17, 2015Feb 17, 2015

    • erl-context

      Public
      A prototype Erlang library for concurrent context-oriented programming
      Erlang
      •1•0•0•0•Updated Feb 5, 2015Feb 5, 2015