Tiark Rompf (@TiarkRompf)
github

TiarkRompf

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,015
  • Global Rank 28,949 (Top 2 %)
  • Followers 299
  • Following 9
  • Registered over 13 years ago
  • Most used languages
    Scala
         73.9 %
    Coq     17.4 %
    C
         4.3 %
    CSS
         4.3 %

Top repositories

1

virtualization-lms-core

A Framework for Runtime Code Generation and Compiled DSLs
Scala
322
star
2

lancet

surgical precision JIT compilers
Scala
117
star
3

collapsing-towers

Collapsing Towers of Interpreters
Coq
81
star
4

minidot

Dependent Object Types (DOT), bottom up
Coq
78
star
5

scala-escape

A compiler plug-in to control object lifetimes in Scala
Coq
62
star
6

lms-clean

Scala
53
star
7

replhtml

Scala REPL with a nice HTML GUI
Scala
50
star
8

rrbtrees

RRB-Trees: Efficient Immutable Vectors
Scala
46
star
9

reachability

Coq
33
star
10

Relite

R + Delite
Scala
25
star
11

truffle-playground

Scala
14
star
12

graal-playground

Scala
9
star
13

cs590

gh pages
Scala
8
star
14

sigma

Scala
6
star
15

legobase-micro

C
4
star
16

interpreters

Scala
4
star
17

cs352

3
star
18

logic-playground

Scala
3
star
19

cs565

2
star
20

baseline

Scala
2
star
21

cs502

CSS
2
star
22

delite-playground

Scala
2
star
23

halide-playground

Scala
2
star
24

lms-playground

Scala
1
star
25

cps-playground

Scala
1
star