Tiark Rompf

virtualization-lms-core. A Framework for Runtime Code Generation and Compiled DSLs

lancet. surgical precision JIT compilers

scala-virtualized. The Scala Programming Language: Virtualized

collapsing-towers. Collapsing Towers of Interpreters

minidot. Dependent Object Types (DOT), bottom up

scala-escape. A compiler plug-in to control object lifetimes in Scala

lms-clean. Scala

reachability. Rocq Prover

rrbtrees. RRB-Trees: Efficient Immutable Vectors

replhtml. Scala REPL with a nice HTML GUI

Relite. R + Delite

types-and-proofs. Mechanized baselines for various type system features

truffle-playground. Scala

graal-playground. Scala

cs590. gh pages

sigma. Scala

scala-virtualized-tutorial. Scala

interpreters. Scala

legobase-micro. C

cs352.

logic-playground. Scala

cs502. CSS

delite-playground. Scala

baseline. Scala

cs565.

DeliteZero. a plain library version of Delite: zero staging, zero optimizations, ...

halide-playground. Scala

tiarkrompf.github.com. HTML

lms-playground. Scala

cps-playground. Scala

lms-regexp. Scala

scala. The Scala programming language