pgerakios/gedit-plugins
python plugins for gedit
Developer Profile
pgerakios
Discovered public repositories for pgerakios in the GitHub catalog.
pgerakios/Concurrent-Cyclone-with-inference
Type-safe extension of Cyclone language (a systems language) with threads, locks and guarantees for data race freedom
pgerakios/Deadlock-avoidance-for-C-pthreads
Combination of static and dynamic analysis of C/pthreads programs that avoids deadlocks
pgerakios/Featherweight-Generic-Java
Featherweight Generic Java interpreter and type system and "dynamic" type safety all implemented in OCaml
pgerakios/playground
Experimental repository
pgerakios/zeus
Helios server