Explore @prg-titech Open Source projects

Programming Research Group @ TokyoTech (@prg-titech)

prg-titech

Stars
252
Global Org. Rank 35,650 (Top 12 %)
Registered over 8 years ago
Most used languages

Python
22.7 %

TeX
22.7 %

Cuda 13.6 %

Ruby
9.1 %

OCaml
9.1 %

Assembly
4.5 %

Scala
4.5 %

JavaScript
4.5 %

Agda 4.5 %

Racket
4.5 %
Location 🇯🇵 Japan
Country Total Rank 2,433
Country Ranking

Racket
6

Cuda 8

Agda 12

OCaml
22

Assembly
36

TeX
118

Ruby
474

Scala
531

JavaScript
732

Python
2,372

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.

ikra-cpp

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

ikra-ruby

A Rubygem for array-based scientific computations using GPGPU

Kani-CUDA

A program synthesizer for CUDA like GPGPU language

cuda-bfs

Various BFS Implementations in CUDA

Sanajeh

A DSL for GPGPU programming with Python objects

prg-mincaml

Extension of the MinCaml compiler including a number of backends

vython

beamerthemeprg

A beamer theme for Programming Research Group.

coverletter

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

prg-thesis-template-en

min-lift

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

docker-rpython

A Dockerfie for RPython

code-chat-dsl

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

array2016-paper

ruby-extension-classes

Extension Classes for Ruby

prg-thesis-template-ja

Effect-Handler-Compiler

adaptive-rpython-generic-interp

numpy_diff

vython-transpiler