prg-titech Goto Github PK

adaptive-rpython-generic-interp

array2016-paper

automation_enbugging_quiz

baccaml

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

beamerthemeprg

A beamer theme for Programming Research Group.

bthesis_kiuchi

cc-child-pages-x

WordPress.org Plugin Mirror

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.

cuda-bfs

Various BFS Implementations in CUDA

dl_code_completion_paper

docker-rpython

A Dockerfie for RPython

dynasoar

CUDA Dynamic Memory Allocator for SOA Data Layout

effect-handler-compiler

graal

GraalVM: Run Programs Faster Anywhere :rocket:

graaljs

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

ikra-cpp

C++ Library for Object-oriented Programming with Structure of Arrays Layout

ikra-ruby

A Rubygem for array-based scientific computations using GPGPU

jitviewer

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

kani-cuda

A program synthesizer for CUDA like GPGPU language

kanon

A live programming environment specialized for data structure programming.

keywordsystem

magritte

A language for pipe-based programming

min-lift

a subset implementation of LIFT(https://github.com/lift-project/lift)

mincaml

mio

mutexunlock

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

paper-with-latexmk-action

pbatakjava

Version polymorphic implementation of BatakJava

prg-exabstract-template-ja

2-pages abstract