Programming Research Group @ TokyoTech

Kanon

A live programming environment specialized for data structure programming.

magritte

A language for pipe-based programming

dynasoar

CUDA Dynamic Memory Allocator for SOA Data Layout

baccaml

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

Sanajeh

A DSL for GPGPU programming with Python objects

prg-mincaml

Extension of the MinCaml compiler including a number of backends

vython

PWV Python

beamerthemeprg

A beamer theme for Programming Research Group.

adaptive-rpython-generic-interp

code-chat-dsl

A DSL for Code-Chat, that can convert conversational text into any programming language.

coverletter

A LaTeX style for writing a cover/rebuttal/response letter.

Effect-Handler-Compiler

graal

GraalVM: Run Programs Faster Anywhere :rocket:

prg-thesis-template-en

prg-thesis-template-ja

vython-transpiler

mutexunlock

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

Automation_Enbugging_quiz

bibtexbrowser

Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)

bthesis_kiuchi

cc-child-pages-x

WordPress.org Plugin Mirror

graaljs

A ECMAScript 2020 compliant Javascript implementation built on GraalVM. With polyglot language interoperability support.

jitviewer

Unofficial customized version of https://foss.heptapod.net/pypy/jitviewer

MinCaml

Mio

pbatakjava

Version polymorphic implementation of BatakJava

prg-exabstract-template-ja

2-pages abstract

pro-paper

SimSym

student_nbody_c1