Popular repositories

1. sketch-n-sketch Public

   Direct Manipulation Programming for HTML/SVG

   Elm 527 34

2. djs Public

   Dependent JavaScript: A Typed Dialect

   OCaml 83 1

3. late-types Public

   Late Typing

   OCaml 3

4. repro-in-cs Public

   Forked from shriram/repro-in-cs

   Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)

   TeX 1

5. builtwithelm Public

   Forked from lukewestby/builtwithelm

   A list of projects and apps built with Elm.

   Elm 1

6. algorithmic-software-verification Public

   Forked from UCSD-PL/algorithmic-software-verification

   Course Materials for Graduate Class on Algorithmic Software Verification