Popular repositories

1. inc Public

   an incremental approach to compiler construction

   Scheme 774 92

2. dot Public

   formalization of the Dependent Object Types (DOT) calculus

   140 11

3. io.livecode.ch Public

   interactive programming tutorials, powered by Github and Docker

   HTML 126 7

4. logically Public

   explorations in core.logic

   Clojure 108 9

5. staged-miniKanren Public

   staged relational interpreters: running with holes, faster

   Scheme 107 13

6. unsound Public

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

   HTML 71 4