sorear/metamath-stuff
some developments and experimentation in the Metamath system
Public GitHub Catalog
Discovered Sep 24, 2026
sorear / saiph
S* AI Playing netHack
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#379923GitHub System ID
sorearOrganization / User
PublicVisibility
ActiveCatalog Status
More from sorear
sorear/perl-net-as2
Perl Net::AS2 Module
sorear/scamp
Single Connection Asynchronous Multiplexing Protocol
sorear/streamws
More streaming friendly version of ws