eftychis/l1c
l1c is a simple formally verified compiler for a while language
Public GitHub Catalog
Discovered Oct 19, 2026
eftychis / distcc
distributed builds for C, C++ and Objective C
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.
#39709482GitHub System ID
eftychisOrganization / User
PublicVisibility
ActiveCatalog Status
More from eftychis
eftychis/bocker
Docker implemented in 100 lines of bash
eftychis/gograF
Based on GoDepGraph
eftychis/disque
Disque is a distributed message broker