prg-titech/Effect-Handler-Compiler

Stars
1
Language Agda
License
MIT License
Created almost 2 years ago
Updated about 1 year ago

prg-titech/Effect-Handler-Compiler

prg-titech

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

adaptive-rpython-generic-interp

numpy_diff

vython-transpiler