Popular repositories

1. kuis-thesis-cover kuis-thesis-cover Public

   TeX 14 2

2. VeriCUDA VeriCUDA Public

   Deductive verifier for CUDA

   OCaml 13 1

3. SystemFg SystemFg Public

   Implementation of Polymorphic Gradual Typing

   OCaml 10

4. ContextWorkflow ContextWorkflow Public

   A DSL for Interruptible and Compensable Executions

   Scala 7 2

5. consort consort Public

   OCaml 4 1

6. automata automata Public archive

   Ruby 3 10