scslab/ga
Google Authenticator in the Shell
Public GitHub Catalog
Discovered Sep 30, 2026
scslab / ifc-proofs
Mechanized proofs for a general approach to dynamic IFC
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.
#17461686GitHub System ID
scslabOrganization / User
PublicVisibility
ActiveCatalog Status
More from scslab
scslab/cowl
COWL implementation for Firefox
scslab/cowl.ws
Static page for cowl.ws
scslab/tcpcrypt
Fast TCP encryption