steveloughran / formalityLinks
Formal Methods, Maths and papers
☆23Updated 5 years ago
Alternatives and similar repositories for formality
Users that are interested in formality are comparing it to the libraries listed below
Sorting:
- ☆29Updated last year
- The Musketeer workflow manager.☆41Updated 6 years ago
- Enabling queries on compressed data.☆279Updated last year
- Self regulation and auto-tuning for distributed system☆65Updated last year
- Cluster computing using Stateful Dataflow Graphs☆26Updated 2 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- A Java library for accessing NUMA (Non Uniform Memory Access) API☆17Updated 12 years ago
- Apache Quickstep Incubator - This project is retired☆95Updated 6 years ago
- Running TPC-H on Apache Hive☆41Updated 5 years ago
- Fast I/O plugins for Spark☆41Updated 4 years ago
- A Tez dev-setup for HDP2 sandbox☆21Updated 2 years ago
- Albis: High-Performance File Format for Big Data Systems☆21Updated 6 years ago
- Explorations relative to cloning FlumeJava☆93Updated 4 years ago
- The main Project☆20Updated 8 years ago
- Quickstep Project☆27Updated 6 years ago
- File-system fault injection framework for distributed storage systems☆66Updated 6 years ago
- Mirror of Apache crail (Incubating)☆150Updated 2 years ago
- A distributed execution engine for cloud computing☆84Updated 13 years ago
- Large scale query engine benchmark☆99Updated 9 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 6 years ago
- Idempotent query executor☆51Updated last month
- Secondary index on HBase☆18Updated 9 years ago
- Bloofi: A java implementation of multidimensional Bloom filters☆79Updated 9 years ago
- Drizzle integration with Apache Spark☆120Updated 6 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- ZooKeeper Atomic Broadcast in Java☆54Updated 3 years ago
- A tool for scale and performance testing of HDFS with a specific focus on the NameNode.☆131Updated last year
- Scripts to analyze Spark's performance☆136Updated 7 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- [Archived] A Fast Multi-tiered Distributed Storage System based on User-Level I/O☆73Updated 7 years ago