hanssv/example_proj
A small example project
Public GitHub Catalog
Discovered Sep 25, 2026
hanssv / McErlang
The McErlang model checker for Erlang
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.
#4072915GitHub System ID
hanssvOrganization / User
PublicVisibility
ActiveCatalog Status
More from hanssv
hanssv/wrangler
Import of the Wrangler svn repository.
hanssv/Smother
Extended code coverage metrics for Erlang.
hanssv/otp
Erlang/OTP