sorear/metamath-stuff
some developments and experimentation in the Metamath system
Public GitHub Catalog
Discovered Sep 24, 2026
sorear / libnethack
Stripped down NetHack modified to build as a shared library
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.
#2167275GitHub 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