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