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
- An attempt at safe imperative GPU programming.☆29Updated 2 months ago
- A runtime implementation of data-parallel actors.☆38Updated 2 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆24Updated 2 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Fast WebAssembly Baseline Compiler☆56Updated last year
- ☆12Updated 5 years ago
- Large object allocator for Rust☆13Updated this week
- Memory Management ToolKit☆33Updated last week
- Local-affinity first NUMA-aware allocator with optional fallback.☆23Updated 3 years ago
- SQL Fuzz Testing Utilities☆29Updated last year
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 6 months ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆39Updated 2 months ago
- Optimizing database queries with array programming☆18Updated 4 years ago
- Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"☆23Updated last year
- ☆26Updated 3 years ago
- An experimental columnar arena☆42Updated 3 months ago
- ☆18Updated 2 years ago
- A rust implementation of lock free cuckoo hashmap☆67Updated 3 weeks ago
- An experimental optimizing compiler for Bril☆61Updated this week
- A bit vector with the Rust standard library's portable SIMD API.☆38Updated last year
- super simple in-memory blocking LSM for constant-size keys and values☆68Updated last month
- log for concurrent workloads, with support for atomic batches and in-order recovery☆33Updated 2 years ago
- A local first persistent log☆35Updated last month
- A library for working with mmap'd graph data☆11Updated 4 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆87Updated 5 years ago
- Mea provides async primitives and combinators that are runtime agnostic.☆22Updated last week
- Formalization of DBSP☆16Updated last year
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 5 months ago
- An arbitrary-precision floating-point library in Rust☆44Updated last year