uwplse / CasperLinks
A compiler for automatically re-targeting sequential Java code to Apache Spark.
☆50Updated 2 years ago
Alternatives and similar repositories for Casper
Users that are interested in Casper are comparing it to the libraries listed below
Sorting:
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Synthesizing SQL queries from input / output examples☆46Updated 4 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago
- ☆75Updated 7 years ago
- Inferring models of systems from observations of their behavior☆85Updated 2 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 11 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- ☆88Updated 3 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆139Updated 7 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆97Updated 3 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- ☆55Updated 4 months ago
- A Framework for Runtime Code Generation and Compiled DSLs☆330Updated 6 years ago
- PC-miner tool for program chairs☆27Updated 2 weeks ago
- Single-threaded graph computation in Rust☆251Updated 6 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months ago
- Your worst case is our best case.☆140Updated 8 years ago
- Diamond reactive programming platform☆26Updated 3 years ago
- Main distribution of Petablox☆35Updated 7 years ago
- Source code for the Naturalize project☆56Updated 9 years ago
- Static program analysis for TIP☆297Updated 3 months ago
- The collection synthesizer☆211Updated 4 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated last month
- ☆33Updated 3 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated 2 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated last year