phipse/ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Public GitHub Catalog
Discovered Oct 2, 2026
phipse / NittaSeite
Public repository discovered through GitHub real-time crawl.
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.
#24732093GitHub System ID
phipseOrganization / User
PublicVisibility
ActiveCatalog Status
More from phipse
phipse/pok-1
POK kernel repository. Visit http://pok.tuxfamily.org
phipse/pok
This is a fork of the old POK svn repo. Now new at github: https://github.com/pok-kernel/pok
phipse/rtems
Kernel, networking, file-systems, drivers, BSPs, samples, and testsuite. http://git.rtems.org/rtems/