alexjordan/otawa
OTAWA/Patmos WCET tool in integrated working repository
Public GitHub Catalog
Discovered Sep 30, 2026
alexjordan / patmos-misc
Config files, scripts, and other stuff for Patmos
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.
#17445260GitHub System ID
alexjordanOrganization / User
PublicVisibility
ActiveCatalog Status
More from alexjordan
alexjordan/patmos-otawa
Files for OTAWA Patmos port
alexjordan/patmos-clang
Port of the clang front-end to the time-predictable processor Patmos
alexjordan/swsc-test
Public repository.