Popular repositories

1. inc

   an incremental approach to compiler construction

   Scheme 722 88

2. dot

   formalization of the Dependent Object Types (DOT) calculus

   136 11

3. io.livecode.ch

   interactive programming tutorials, powered by Github and Docker

   HTML 115 6

4. logically

   explorations in core.logic

   Clojure 105 8

5. staged-miniKanren

   staged relational interpreters: running with holes, faster

   Scheme 95 11

6. unsound

   Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

   HTML 70 3