Programming Language for Continuous Deep Analytics
☆49Oct 5, 2023Updated 2 years ago
Alternatives and similar repositories for arc
Users that are interested in arc are comparing it to the libraries listed below
Sorting:
- Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors☆20Nov 15, 2023Updated 2 years ago
- Prototype which extracts stateful dataflows by analysing Python code.☆21Sep 8, 2022Updated 3 years ago
- simd enabled column imprints☆11Feb 12, 2018Updated 8 years ago
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 5 years ago
- Stream processing engine☆13Apr 7, 2021Updated 4 years ago
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated 6 months ago
- Files used for the evaluation of uiCA☆18Dec 14, 2022Updated 3 years ago
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 6 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- ☆30Sep 14, 2022Updated 3 years ago
- Optimal partitioning of Variable-Byte codes for better compression and fast decoding.☆17Nov 10, 2021Updated 4 years ago
- A library with task executors for Rust☆32Jan 11, 2025Updated last year
- Abstractions for making closures in Scala safer and more flexible☆21Jan 13, 2026Updated last month
- A multicore microprocessor test harness for measuring interference☆14Apr 16, 2020Updated 5 years ago
- MPM physics simulation with WebGPU☆17May 21, 2025Updated 9 months ago
- Research compiler based on algorithmic skeletons☆23Oct 18, 2014Updated 11 years ago
- ☆57Jan 19, 2022Updated 4 years ago
- Translate Python and JavaScript into MLIR☆17Aug 27, 2022Updated 3 years ago
- A programming language for data stream analytics.☆23Sep 19, 2025Updated 5 months ago
- A zero dependencies, 100% rust, Graphics API for use in a linux terminal. 📺☆19May 11, 2018Updated 7 years ago
- ☆16Mar 16, 2021Updated 4 years ago
- benchmarking e-graph extraction☆50Feb 2, 2026Updated last month
- BC-Tree and Ball-Tree for Point-to-Hyperplane NNS (ICDE 2023)☆18Aug 4, 2023Updated 2 years ago
- ☆15Dec 2, 2019Updated 6 years ago
- Implementation of the RISE language☆14Oct 28, 2020Updated 5 years ago
- Old Probabilistically Bounded Staleness (PBS) analysis for Cassandra (see http://www.bailis.org/blog/using-pbs-in-cassandra-1.2.0/)☆29Jul 10, 2012Updated 13 years ago
- embedding MLIR in LEAN☆48Jun 17, 2024Updated last year
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21May 27, 2020Updated 5 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆46Aug 12, 2025Updated 6 months ago
- ☆21Jun 24, 2021Updated 4 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆55Sep 1, 2025Updated 6 months ago
- Extension of nom to trace parser☆50Feb 3, 2025Updated last year
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- ☆23Jul 19, 2023Updated 2 years ago
- A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores☆17Apr 24, 2024Updated last year
- Cruise: A Distributed Machine Learning Framework with Automatic System Configuration☆26Mar 19, 2019Updated 6 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"☆19Mar 8, 2025Updated 11 months ago