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
- Inferring models of systems from observations of their behavior☆85Updated 2 years ago
- Single-threaded graph computation in Rust☆251Updated 6 years ago
- Your worst case is our best case.☆139Updated 8 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆19Updated 8 years ago
- Synthesizing SQL queries from input / output examples☆46Updated 4 years ago
- ☆88Updated 3 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆139Updated 7 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆330Updated 6 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- ☆10Updated last year
- ☆58Updated 8 years ago
- ☆32Updated 3 years ago
- Java Concolic Unit Testing Engine☆91Updated 11 years ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 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
- Fast linearizability checker☆66Updated 10 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- ☆40Updated 6 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- PC-miner tool for program chairs☆27Updated 4 months ago
- VeriBetrKV OSDI'20 artifact☆11Updated 4 years ago
- ☆82Updated 7 years ago
- ☆55Updated 3 months ago