TiarkRompf/collapsing-towers TiarkRompf/collapsing-towers

  • Stars
    star
    81
  • Rank 400,299 (Top 8 %)
  • Language Coq
  • Created over 8 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TiarkRompf/collapsing-towers
github

TiarkRompf

Reviews

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

Repository Details

Collapsing Towers of Interpreters

More Repositories

1

virtualization-lms-core

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

lancet

surgical precision JIT compilers
Scala
117
star
3

minidot

Dependent Object Types (DOT), bottom up
Coq
82
star
4

scala-escape

A compiler plug-in to control object lifetimes in Scala
Coq
63
star
5

lms-clean

Scala
54
star
6

replhtml

Scala REPL with a nice HTML GUI
Scala
50
star
7

rrbtrees

RRB-Trees: Efficient Immutable Vectors
Scala
46
star
8

reachability

Coq
35
star
9

Relite

R + Delite
Scala
25
star
10

truffle-playground

Scala
14
star
11

graal-playground

Scala
9
star
12

cs590

gh pages
Scala
8
star
13

sigma

Scala
6
star
14

legobase-micro

C
4
star
15

interpreters

Scala
4
star
16

cs352

3
star
17

logic-playground

Scala
3
star
18

cs565

2
star
19

baseline

Scala
2
star
20

cs502

CSS
2
star
21

delite-playground

Scala
2
star
22

halide-playground

Scala
2
star
23

lms-playground

Scala
1
star
24

cps-playground

Scala
1
star