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
- ☆75Updated 7 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
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- ☆32Updated 3 years ago
- PC-miner tool for program chairs☆27Updated 3 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- ☆55Updated 2 months ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 7 years ago
- ☆11Updated 4 months ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆47Updated 2 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- Inferring models of systems from observations of their behavior☆83Updated 2 years ago
- Incremental Program Analysis Framework☆90Updated 4 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Kodkod solver for relational logic☆76Updated last year
- Main distribution of Petablox☆35Updated 7 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- A generic Java implementation of Andreas Zeller's delta debugging algorithm☆23Updated 8 years ago
- ☆88Updated 2 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago
- A list of bugs found by SQLancer☆14Updated last year
- ☆40Updated 6 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆330Updated 6 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆32Updated 5 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago