TiarkRompf/minidot TiarkRompf/minidot

  • Stars
    star
    78
  • Rank 397,661 (Top 9 %)
  • Language Coq
  • Created almost 11 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TiarkRompf/minidot
github

TiarkRompf

Reviews

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

Repository Details

Dependent Object Types (DOT), bottom up

More 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

scala-escape

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

lms-clean

Scala
53
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
33
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