pgerakios/gedit-plugins
python plugins for gedit
Public GitHub Catalog
Discovered Sep 29, 2026
pgerakios / Concurrent-Cyclone-with-inference
Type-safe extension of Cyclone language (a systems language) with threads, locks and guarantees for data race freedom
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#15780912GitHub System ID
pgerakiosOrganization / User
PublicVisibility
ActiveCatalog Status
More from pgerakios
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