jcoveney/spark-1
Mirror of Apache Spark
Real-time Query for Hadoop
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.