epfldata / dblabLinks
A framework for building database systems by high-level programming, and getting really good performance nevertheless.
☆138Updated 6 years ago
Alternatives and similar repositories for dblab
Users that are interested in dblab are comparing it to the libraries listed below
Sorting:
- A Framework for Runtime Code Generation and Compiled DSLs☆329Updated 6 years ago
- The current backend of DBToaster, implemented in Scala.☆63Updated 3 years ago
- Tutorials on Lightweight Modular Staging☆122Updated 7 months ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- Example DSLs for working with SC☆22Updated 7 years ago
- Embeddable multi-Paxos For The JVM☆75Updated 5 months ago
- The Delite Git Repo☆221Updated 8 years ago
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago
- A Datalog API for Spark☆26Updated 8 years ago
- Persistent Adaptive Radix Trees in Java☆81Updated 4 years ago
- ☆55Updated last month
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 7 years ago
- Your worst case is our best case.☆137Updated 8 years ago
- Enabling queries on compressed data.☆279Updated last year
- Generic framework for development of domain-specific compilers in Scala☆96Updated 7 years ago
- Cluster computing using Stateful Dataflow Graphs☆26Updated 2 years ago
- Distributed consensus algorithm implemented in Scala and Akka☆56Updated 11 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 11 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- ☆57Updated 7 years ago
- The Leon system for verification, synthesis, repair☆163Updated last year
- SQL parser written using Scala's parser combinator library☆103Updated 9 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- CKite - A JVM implementation of the Raft distributed consensus algorithm written in Scala☆213Updated 6 years ago
- Fast linearizability checker☆66Updated 9 years ago
- Scala Spores, safe mobile closures.☆127Updated 7 years ago
- Fast, memory-efficient, minimal-serialization, binary data vectors for Scala and other languages☆67Updated 7 years ago
- Apache Quickstep Incubator - This project is retired☆95Updated 6 years ago