Popular repositories Loading

1. virtualization-lms-core virtualization-lms-core Public

   A Framework for Runtime Code Generation and Compiled DSLs

   Scala 324 91

2. lancet lancet Public

   surgical precision JIT compilers

   Scala 120 10

3. scala-virtualized scala-virtualized Public

   Forked from scala/legacy-svn-scala

   The Scala Programming Language: Virtualized

   104 4

4. collapsing-towers collapsing-towers Public

   Collapsing Towers of Interpreters

   Coq 86 6

5. minidot minidot Public

   Dependent Object Types (DOT), bottom up

   Coq 83 11

6. scala-escape scala-escape Public

   A compiler plug-in to control object lifetimes in Scala

   Coq 63 5