Hellblazer/seL4
The seL4 microkernel
Open source version of the Scratch 2.0 project editor. This is the basis for the online and offline versions of Scratch found on the website.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
The seL4 microkernel
A library for generating fake data such as names, addresses, and phone numbers.
It's like Amazon Turk for Democracy
A JMX Controller For AWS APIs