atomb/edp
Existential Diagram Prover
Public GitHub Catalog
Discovered Sep 24, 2026
atomb / homebrew
The missing package manager for OS X.
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.
#910904GitHub System ID
atombOrganization / User
PublicVisibility
ActiveCatalog Status
More from atomb
atomb/ccx
Experiments with the CC(X) algorithm
atomb/hashable
A class for types that can be converted to a hash value
atomb/dalvik
Haskell parser for Dalvik bytecode