groggi/eth-cil-summary
Summary of Computational Intelligence Lab, ETH Zurich, SS15
Public GitHub Catalog
Discovered Sep 26, 2026
groggi / eth-fmfp
Solved assignments for the ETH Zurich course "Formal Methods and Functional Programming" (SS13)
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.
#8341222GitHub System ID
groggiOrganization / User
PublicVisibility
ActiveCatalog Status
More from groggi
groggi/eth-algolab
My solutions for Algorithms Lab, ETH Zurich, AS14
groggi/eth-netsec
Personal notes/summary for Network Security, ETH Zurich, AS14
groggi/eth-syssec
Personal notes/summary for System Security, ETH Zurich, AS14