codelion/MONA
MONA - a decision procedure for monadic second-order logic on finite strings and trees
Public GitHub Catalog
Discovered Sep 26, 2026
codelion / pathgrind
Path based Dynamic Analysis
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.
#8089442GitHub System ID
codelionOrganization / User
PublicVisibility
ActiveCatalog Status
More from codelion
codelion/DataDebug
Public repository.
codelion/vl-tanks
A HTML5 game
codelion/pa.llvm
Program Analysis for LLVM