nilehmann/cmake-modules
LibFindMacros development repository and other cool CMake stuff
Public GitHub Catalog
Discovered Sep 26, 2026
nilehmann / Repositorio-Algoritmos-ICPC
Repositorio con algoritmos comunes para la competencia de programación ICPC
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.
#6037240GitHub System ID
nilehmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from nilehmann
nilehmann/NoAxiom
Coq plugin to verify axioms assumptions of terms
nilehmann/coquille
Interactive theorem proving with Coq in vim.
nilehmann/cms
Contest Management System