asmeurer/git-workflow
The git workflow for contributing to open source repositories.
Public GitHub Catalog
Discovered Oct 7, 2026
asmeurer / z3
The Z3 Theorem Prover
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.
#35977149GitHub System ID
asmeurerOrganization / User
PublicVisibility
ActiveCatalog Status
More from asmeurer
asmeurer/me-al
Meẗal - The Decorator
asmeurer/binaryornot
Ultra-lightweight pure Python package to check if a file is binary or text.
asmeurer/conda-javascript-recipes
Conda recipes for JavaScript related packages