Popular repositories Loading

1. closure closure Public

   A programming language

   C++ 13

2. screenlogger screenlogger Public

   automatically capturing "important" screenshots over long time periods

   Python 1

3. passage-formatter passage-formatter Public

   Haskell

4. time-resolution-measurement time-resolution-measurement Public

   Go

5. formalizing-Featherweight-X10 formalizing-Featherweight-X10 Public

   proving the absence of deadlocks

   Coq

6. racket-examples racket-examples Public

   Racket