np/brainwallet.github.io
Brainwallet site
Public GitHub Catalog
Discovered Oct 2, 2026
np / slock
Fork of suckless screen locker for the extremely paranoid.
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.
#25945130GitHub System ID
npOrganization / User
PublicVisibility
ActiveCatalog Status
More from np
np/agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
np/agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
np/agda-prelude
Programming library for Agda