Pinned Loading

1. uwplse/Casper uwplse/Casper Public

   A compiler for automatically re-targeting sequential Java code to Apache Spark.

   Java 52 5

2. uwdb/Cosette uwdb/Cosette Public

   Cosette is an automated SQL solver.

   Lean 686 57

3. Mestway/Scythe Mestway/Scythe Public

   Synthesizing SQL queries from input / output examples

   Java 47 11

4. hyperloop-rails/powerstation hyperloop-rails/powerstation Public

   A Tool for Detecting Performance Bugs in Rails Applications

   Ruby 60 5