pgerakios/gedit-plugins
python plugins for gedit
Public GitHub Catalog
Discovered Sep 29, 2026
pgerakios / Featherweight-Generic-Java
Featherweight Generic Java interpreter and type system and "dynamic" type safety all implemented in OCaml
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#15774526GitHub System ID
pgerakiosOrganization / User
PublicVisibility
ActiveCatalog Status
More from pgerakios
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/playground
Experimental repository