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
- Inferring models of systems from observations of their behavior☆84Updated 2 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 11 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- Diamond reactive programming platform☆25Updated 3 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 7 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆48Updated 2 years ago
- Your worst case is our best case.☆139Updated 8 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- ☆75Updated 7 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆330Updated 6 years ago
- The Delite Git Repo☆221Updated 8 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
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing☆87Updated 2 years ago
- Single-threaded graph computation in Rust☆251Updated 6 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆19Updated 8 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- ☆32Updated 3 years ago
- Incremental Program Analysis Framework☆90Updated 4 years ago
- ☆88Updated 3 years ago
- Source code for the Naturalize project☆56Updated 9 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago