machinaut/l4v
seL4 specification and proofs
Public GitHub Catalog
Discovered Oct 1, 2026
machinaut / propeller
http://www.parallax.com/downloads/propeller-1-design
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.
#22746495GitHub System ID
machinautOrganization / User
PublicVisibility
ActiveCatalog Status
More from machinaut
machinaut/old-icfp-2014
Organize some codez for the icfp 2014 competition. There may be other repos, but this is the first.
machinaut/oldblag.github.io
Public repository.
machinaut/tms570
Playing with the tmdx570ls20susb dev kit