ottok/code-dot-org
The code powering code.org and studio.code.org
MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stable, and sanely licensed open SQL server in the industry.
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 code powering code.org and studio.code.org
Synchronous multi-master replication library
percona-xtradb-cluster-galera-3.x
The seL4 microkernel