pgerakios

Popular repositories

1. Featherweight-Generic-Java

   Featherweight Generic Java interpreter and type system and "dynamic" type safety all implemented in OCaml

   OCaml 2

2. Concurrent-Cyclone-with-inference

   Type-safe extension of Cyclone language (a systems language) with threads, locks and guarantees for data race freedom

   C 1

3. zeus

   Forked from grnet/zeus

   Helios server

   Python

4. playground

   Forked from nschlimm/playground

   Experimental repository

   Java

5. Deadlock-avoidance-for-C-pthreads

   Combination of static and dynamic analysis of C/pthreads programs that avoids deadlocks

   OCaml

6. gedit-plugins

   python plugins for gedit

   Python