yuvadm/libsnark
libsnark: a C++ library for zkSNARK proofs
Public GitHub Catalog
Discovered Oct 2, 2026
yuvadm / incompleteness-notes
Notes for "Incompleteness and Undecidability in Formal Languages"
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.
#25779141GitHub System ID
yuvadmOrganization / User
PublicVisibility
ActiveCatalog Status
More from yuvadm
yuvadm/german-protocols
German Health Comittee Protocols
yuvadm/archlinux-packages
A collection of the Arch Linux packages under my maintenance
yuvadm/public-safety
Patches related to the Public Safety Band