Beast code in Giters

Tiark Rompf's repositories

virtualization-lms-core

A Framework for Runtime Code Generation and Compiled DSLs

Language:ScalaBSD-3-Clause321 40 49

lancet

surgical precision JIT compilers

Language:ScalaAGPL-3.0118 11 7

scala-virtualized

The Scala Programming Language: Virtualized

104 100

collapsing-towers

Collapsing Towers of Interpreters

Language:Coq85 90

minidot

Dependent Object Types (DOT), bottom up

Language:Coq81 100

scala-escape

A compiler plug-in to control object lifetimes in Scala

Language:CoqBSD-3-Clause63 12 2

lms-clean

Language:ScalaBSD-3-Clause53 13 14

reachability

Language:Coq33 80

cs590

gh pages

Language:Scala8 80

sigma

Language:Scala6 40

legobase-micro

Language:C4 50

cs352

3 110

logic-playground

Language:Scala3 50

cs502

Language:CSS2 80

cs565

2 60

delite-playground

Language:Scala2 50

cps-playground

Language:Scala1 30

halide-playground

Language:Scala1 30

lms-playground

Language:Scala1 40

purduepl.github.io

A blog of Programming Languages Group @Purdue

Language:HTML1 30

ReverseAD

Evaluating high order derivative tensors directly via reverse mode AD in Cpp.

Language:C++LGPL-3.01 30

scala

The Scala programming language

Language:Scala1 40

blot

🤖 ✍️ blot, the plotting bot from hack club

Language:JavaScriptMIT000

Forge

A prototype meta DSL that generates Delite DSL implementations from a specification-like program.

Language:Scala030

hyperdsl

Language:Python030

popl2017-papers

Link to preprints for POPL'17 and co-located events

030

scala-lang

The Scala Website

Language:CSSNOASSERTION030

scalocco

Scalocco, a quick and dirty implementation of Docco in Scala

Language:Scala030

scratch

030

tiarkrompf.github.com

Language:HTML020