cda-group / arcLinks
Programming Language for Continuous Deep Analytics
☆47Updated last year
Alternatives and similar repositories for arc
Users that are interested in arc are comparing it to the libraries listed below
Sorting:
- ☆28Updated 4 years ago
- SQL Fuzz Testing Utilities☆29Updated last year
- Streaming and Incremental Computation Framework☆242Updated 2 years ago
- Prototype which extracts stateful dataflows by analysing Python code.☆21Updated 3 years ago
- A runtime implementation of data-parallel actors.☆39Updated 3 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- An operation-log based approach for data replication.☆65Updated 2 years ago
- Multi-core Window-Based Stream Processing Engine☆72Updated 3 years ago
- In-memory, columnar, arrow-based database.☆49Updated 3 years ago
- ☆18Updated 4 months ago
- Framework for simulating distributed applications☆104Updated 5 years ago
- A programming language for data stream analytics.☆21Updated 7 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 3 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- ☆12Updated 5 years ago
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- A modular implementation of timely dataflow in Rust☆117Updated 2 weeks ago
- An experimental optimizing compiler for Bril☆75Updated 2 weeks ago
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆57Updated 2 months ago
- Reference implementations of sliding window aggregation algorithms☆46Updated 4 months ago
- Memory Management ToolKit☆36Updated last month
- Demonstrations of (in)consistency in various streaming systems.☆23Updated 4 years ago
- Optimizing database queries with array programming☆20Updated 4 years ago
- A determinizing tracer using Ptrace☆39Updated 4 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆89Updated 6 years ago
- A parallel programming model for online applications with complex synchronization requirements.☆15Updated 3 years ago
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM …☆19Updated last year
- ☆12Updated 4 years ago
- The Twizzler Operating System☆96Updated this week
- eRPC library for Rust☆14Updated 5 years ago