yuvadm/incompleteness-notes
Notes for "Incompleteness and Undecidability in Formal Languages"
Public GitHub Catalog
Discovered Sep 25, 2026
yuvadm / python-opensubtitles
A python wrapper for the opensubtitles API
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.
#3125339GitHub System ID
yuvadmOrganization / User
PublicVisibility
ActiveCatalog Status
More from yuvadm
yuvadm/archlinux-packages
A collection of the Arch Linux packages under my maintenance
yuvadm/public-safety
Patches related to the Public Safety Band
yuvadm/b2g-notes
Notes, helper files and scripts for building B2G