Skip to content


  • Arctic Code Vault Contributor
  • Pro


@scala @js-scala @scala-lms @purdue-pl

Popular repositories

  1. A Framework for Runtime Code Generation and Compiled DSLs

    Scala 283 86

  2. surgical precision JIT compilers

    Scala 110 10

  3. Forked from scala/legacy-svn-scala

    The Scala Programming Language: Virtualized

    103 6

  4. Collapsing Towers of Interpreters

    Coq 61 3

  5. A compiler plug-in to control object lifetimes in Scala

    Coq 60 6

  6. Dependent Object Types (DOT), bottom up

    Coq 56 7

250 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to TiarkRompf/minidot, TiarkRompf/lms-clean, TiarkRompf/sigma and 5 other repositories

Contribution activity

August 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.