uwplse / CasperLinks
A compiler for automatically re-targeting sequential Java code to Apache Spark.
☆50Updated last year
Alternatives and similar repositories for Casper
Users that are interested in Casper are comparing it to the libraries listed below
Sorting:
- ☆55Updated last month
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 6 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 11 years ago
- Rhyme is an Expressive Data-Centric Query Language☆29Updated 2 weeks ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- ☆74Updated 7 years ago
- PC-miner tool for program chairs☆27Updated 2 months ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- A DSL for efficient Graph Analysis☆102Updated 6 years ago
- ☆58Updated 8 years ago
- ☆31Updated 3 years ago
- ☆88Updated 2 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- Your worst case is our best case.☆137Updated 8 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- ☆40Updated 6 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- JReduce is a tool to reduce Java ByteCode☆12Updated 3 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Kodkod solver for relational logic☆74Updated last year
- The Delite Git Repo☆221Updated 8 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- generative programming & verification☆33Updated 3 years ago
- Single-threaded graph computation in Rust☆251Updated 6 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆45Updated 7 months ago
- ☆57Updated 2 years ago