Skip to content
@prg-titech

Programming Research Group @ Science Tokyo (nee TokyoTech)

Department of Mathematical and Computing Sciences, Institute of Science Tokyo (formerly Tokyo Institute of Technology)

Pinned Loading

  1. Kanon Kanon Public

    A live programming environment specialized for data structure programming.

    JavaScript 70 6

  2. dynasoar dynasoar Public

    CUDA Dynamic Memory Allocator for SOA Data Layout

    Cuda 40 6

  3. baccaml baccaml Public

    Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.

    OCaml 34 4

Repositories

Showing 10 of 63 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.

    prg-titech/safe-fluent-dsls's past year of commit activity
    Java 0 MIT 0 0 0 Updated Sep 14, 2026
  • mutexunlock Public

    Check sync.Mutex.Unlock is called before exit from a function

    prg-titech/mutexunlock's past year of commit activity
    Go 0 MIT 0 4 5 Updated Sep 8, 2026
  • Kanon Public

    A live programming environment specialized for data structure programming.

    prg-titech/Kanon's past year of commit activity
    JavaScript 70 MIT 6 21 4 Updated Sep 2, 2026
  • pbatakjava Public

    Version polymorphic implementation of BatakJava

    prg-titech/pbatakjava's past year of commit activity
    Java 1 BSD-3-Clause 0 3 0 Updated Jul 26, 2026
  • effhole-form Public
    prg-titech/effhole-form's past year of commit activity
    Agda 0 0 0 0 Updated Jul 8, 2026
  • guardlint Public
    prg-titech/guardlint's past year of commit activity
    Ruby 0 MIT 0 0 0 Updated Jun 3, 2026
  • pwv-with-multi-version-objects Public
    prg-titech/pwv-with-multi-version-objects's past year of commit activity
    Python 0 1 1 0 Updated Apr 20, 2026
  • baccaml Public

    Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.

    prg-titech/baccaml's past year of commit activity
    OCaml 34 Apache-2.0 4 0 0 Updated Apr 8, 2026
  • acmart-prg-template Public template
    prg-titech/acmart-prg-template's past year of commit activity
    TeX 0 0 0 0 Updated Apr 5, 2026
  • choreographic-graded Public
    prg-titech/choreographic-graded's past year of commit activity
    Haskell 0 MIT 0 0 0 Updated Feb 22, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…