mmalvarez/academic-site
My Academic Website
Public GitHub Catalog
Discovered Sep 26, 2026
mmalvarez / frenetic-iptables
My Port of Frenetic to IPTables
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.
#6337081GitHub System ID
mmalvarezOrganization / User
PublicVisibility
ActiveCatalog Status
More from mmalvarez
mmalvarez/nonlinear
My implementation of Z3's nonlinear real arithmetic solver, in Coq
mmalvarez/fun_with_canonicals
Public repository.
mmalvarez/hello_tactics
Simple examples of OCaml tactic modules for Coq that use Unix facilities