jcoveney/spark-1
Mirror of Apache Spark
An encoding scheme that uses more of the full set of UTF8 characters
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Mirror of Apache Spark
The Leon system for verification, synthesis, and more.
Functional Programming Course
Public repository.