cda-group / arc
Programming Language for Continuous Deep Analytics
☆44Updated last year
Related projects ⓘ
Alternatives and complementary repositories for arc
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 3 months ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆38Updated 2 months ago
- ☆12Updated 4 years ago
- An operation-log based approach for data replication.☆62Updated last year
- ☆18Updated last year
- https://www.usenix.org/conference/atc20/presentation/boucher☆24Updated 2 years ago
- This is a small demo of how to transform a simple single-server RocksDB service written in Rust into a distributed version using OmniPaxo…☆15Updated last year
- Large object allocator for Rust☆12Updated this week
- An attempt at safe imperative GPU programming.☆28Updated 7 months ago
- Adaptive Radix Tree in Rust☆62Updated 6 years ago
- Prototype which extracts stateful dataflows by analysing Python code.☆19Updated 2 years ago
- A rust implementation of lock free cuckoo hashmap☆67Updated 2 years ago
- An efficient runtime for asynchronous applications in Rust.☆43Updated 2 years ago
- SQL Fuzz Testing Utilities☆29Updated 11 months ago
- eRPC library for Rust☆13Updated 4 years ago
- high-efficiency concurrent reclamation☆35Updated 2 months ago
- A runtime implementation of data-parallel actors.☆38Updated 2 years ago
- Azure Cosmos TLA+ specifications☆20Updated 11 months ago
- Megaphone: Latency-conscious state migration☆19Updated 4 years ago
- SQL Benchmark derived from TPC-DS☆15Updated last year
- Reference implementations of sliding window aggregation algorithms☆43Updated last year
- A bit vector with the Rust standard library's portable SIMD API.☆38Updated last year
- Framework for simulating distributed applications☆96Updated 4 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- A library for working with mmap'd graph data☆11Updated 3 years ago
- An experimental columnar arena☆41Updated 3 weeks ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated 3 years ago
- ☆26Updated 3 years ago
- Memory Management ToolKit☆31Updated 3 weeks ago