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:
- Self regulation and auto-tuning for distributed system☆65Updated 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☆16Updated 12 years ago
- Fast I/O plugins for Spark☆41Updated 4 years ago
- ☆29Updated last year
- A distributed execution engine for cloud computing☆84Updated 13 years ago
- Cluster computing using Stateful Dataflow Graphs☆26Updated 2 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆25Updated 7 years ago
- [Archived] A Fast Multi-tiered Distributed Storage System based on User-Level I/O☆73Updated 7 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- Albis: High-Performance File Format for Big Data Systems☆21Updated 6 years ago
- Running TPC-H on Apache Hive☆41Updated 5 years ago
- Scripts to analyze Spark's performance☆136Updated 7 years ago
- Drizzle integration with Apache Spark☆120Updated 6 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 7 years ago
- Mirror of Apache crail (Incubating)☆150Updated 2 years ago
- Enabling queries on compressed data.☆279Updated last year
- Stocator is high performing connector to object storage for Apache Spark, achieving performance by leveraging object storage semantics.☆114Updated last year
- A port of Akka's Phi Accrual Failure Detector☆50Updated last year
- File-system fault injection framework for distributed storage systems☆66Updated 6 years ago
- Starburst Enterprise Distribution of Presto☆45Updated 3 years ago
- ZooKeeper Atomic Broadcast in Java☆54Updated 3 years ago
- Kompics - A message-passing component model for building distributed systems☆66Updated 2 years ago
- Harry for Apache Cassandra®☆54Updated 10 months ago
- Moved to Apache Mnemonic (Incubator)☆20Updated 9 years ago
- JVM integration for Weld☆16Updated 6 years ago
- X-Trace is a tool that provides fine-grained visibility into large, complex distributed systems. It can be used by application developers…☆74Updated 11 months ago
- Measuring the performance of popular streaming engines with Yahoo's Streaming Benchmark☆53Updated 6 years ago
- Explorations relative to cloning FlumeJava☆93Updated 4 years ago