pcapriotti/qr
QR encoder library
Public GitHub Catalog
Discovered Sep 25, 2026
pcapriotti / pipes-network
Pipe utilities to deal with sockets.
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.
#3976132GitHub System ID
pcapriottiOrganization / User
PublicVisibility
ActiveCatalog Status
More from pcapriotti
pcapriotti/agda-categories
Category theory and algebra
pcapriotti/hott-exercises
Solutions of the exercises of the HoTT book
pcapriotti/agda-base
Base library for HoTT in Agda