cda-group / arc
Programming Language for Continuous Deep Analytics
☆45Updated last year
Alternatives and similar repositories for arc:
Users that are interested in arc are comparing it to the libraries listed below
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- SQL Fuzz Testing Utilities☆29Updated last year
- A programming language for data stream analytics.☆19Updated 2 months ago
- A runtime implementation of data-parallel actors.☆38Updated 2 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 7 months ago
- Large object allocator for Rust☆13Updated 3 weeks ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆24Updated 3 years ago
- ☆12Updated 5 years ago
- ☆27Updated 3 years ago
- TLA+ specifications for Raft and variants☆62Updated 2 years ago
- An attempt at safe imperative GPU programming.☆39Updated 3 months ago
- ☆19Updated 2 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆25Updated 3 years ago
- Prototype which extracts stateful dataflows by analysing Python code.☆20Updated 2 years ago
- ☆11Updated 5 months ago
- Viewstamped Replication for Rust☆67Updated last year
- Rust implementation of the FastLanes compression library☆95Updated 2 weeks ago
- Experimental Rust wrapper for FASTER by Microsoft Research☆54Updated 4 years ago
- eRPC library for Rust☆13Updated 5 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- Mea provides async primitives and combinators that are runtime agnostic.☆28Updated last week
- Query Optimizer Service☆34Updated this week
- An efficient runtime for asynchronous applications in Rust.☆43Updated 2 years ago
- "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)☆25Updated 6 years ago
- An Adaptive Radix Tree implementation.☆38Updated last year
- Nautilus is a lightweight tracing JIT compiler for C++☆20Updated 2 months ago
- ☆12Updated 3 years ago
- A FoundationDB style deterministic testing framework for async/await Rust☆32Updated 4 years ago
- Framework for simulating distributed applications☆98Updated 5 years ago
- log for concurrent workloads, with support for atomic batches and in-order recovery☆33Updated 2 years ago