steveloughran / formality
Formal Methods, Maths and papers
☆23Updated 5 years ago
Related projects: ⓘ
- Self regulation and auto-tuning for distributed system☆64Updated last year
- Idempotent query executor☆48Updated 8 months ago
- The Musketeer workflow manager.☆41Updated 5 years ago
- Peel is a framework that helps you to define, execute, analyze, and share experiments for distributed systems and algorithms.☆27Updated last year
- Fast I/O plugins for Spark☆41Updated 3 years ago
- The current backend of DBToaster, implemented in Scala.☆62Updated 2 years ago
- Apache datasketches☆85Updated last year
- A distributed execution engine for cloud computing☆81Updated 12 years ago
- Quickstep Project☆27Updated 5 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆136Updated 6 years ago
- Enabling queries on compressed data.☆276Updated 9 months ago
- Scripts to analyze Spark's performance☆135Updated 6 years ago
- Simplified Moment Sketch Implemntation☆36Updated 5 years ago
- Drizzle integration with Apache Spark☆120Updated 6 years ago
- ☆29Updated last year
- Spark GPU and SIMD Support☆61Updated 4 years ago
- A tool for scale and performance testing of HDFS with a specific focus on the NameNode.☆131Updated 8 months ago
- Mirror of Apache crail (Incubating)☆147Updated 2 years ago
- Albis: High-Performance File Format for Big Data Systems☆21Updated 6 years ago
- Bloofi: A java implementation of multidimensional Bloom filters☆78Updated 8 years ago
- TLA+ specification of the Kafka replication protocol☆86Updated 4 years ago
- Quark is a data virtualization engine over analytic databases.☆98Updated 7 years ago
- Cache File System optimized for columnar formats and object stores☆182Updated 2 years ago
- Apache Quickstep Incubator - This project is retired☆94Updated 5 years ago
- Google Dataflow Runner for Apache Flink™ (deprecated; please use the up-to-date Beam Runner)☆88Updated 8 years ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆23Updated 6 years ago
- Starburst Enterprise Distribution of Presto☆46Updated 3 years ago
- A Java library for accessing NUMA (Non Uniform Memory Access) API☆17Updated 11 years ago
- Cluster computing using Stateful Dataflow Graphs☆26Updated 2 years ago
- SnappyStore☆39Updated last year