GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ TiarkRompf
8 open source projects by TiarkRompf
[ Open user page on Github ]
1.
Lancet
surgical precision JIT compilers
✭ 111
scala
2.
Collapsing Towers
Collapsing Towers of Interpreters
✭ 61
coq
3.
Scala Escape
A compiler plug-in to control object lifetimes in Scala
✭ 60
coq
4.
Truffle Playground
✭ 11
scala
5.
Virtualization Lms Core
A Framework for Runtime Code Generation and Compiled DSLs
✭ 291
scala
6.
replhtml
Scala REPL with a nice HTML GUI
✭ 51
scala
7.
lms-clean
No description, website, or topics provided.
✭ 50
scala
Cuda
c
python
C++
8.
Relite
R + Delite
✭ 25
scala
python
shell
1-8
of
8
user projects