marnix/mmm
Little Theories for Metamath: specification (and perhaps toy implementation) of a Metamath module system
Public GitHub Catalog
Discovered Sep 27, 2026
marnix / icfp-www
ICFP web page
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.
#9565507GitHub System ID
marnixOrganization / User
PublicVisibility
ActiveCatalog Status
More from marnix
marnix/smm
sorear's Metamath system engine
marnix/Idris-dev
A Dependently Typed Functional Programming Language
marnix/svndumpfilterIN
An implementation of Apache's svndumpfilter that solves some common problems.