danking/pda2
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
danking / optimizing-pda-compiler
A compiler for pushdown automata which uses optimizing flow analyses.
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.
#2144727GitHub System ID
dankingOrganization / User
PublicVisibility
ActiveCatalog Status
More from danking
danking/pda2-analyses
Public repository.
danking/facc-paper
Public repository.
danking/scientific-pl
Public repository.