Code

by Languages ScalaSchemeCoqClojureCommon LispC, ...

by Research Topics 

as Software

  • io.livecode.ch
  • Contributions include Scala (EPFL), Closure Compiler (Google), Micado (CAG CSAIL), Cytoscape (Ideker Lab).

as Research Prototypes

as Research Artifacts

as Paper Implementation Studies