An open API service indexing awesome lists of open source software.

https://github.com/uwplse/casper

A compiler for automatically re-targeting sequential Java code to Apache Spark.
https://github.com/uwplse/casper

compiler dafny java spark synthesis z3

Last synced: about 2 months ago
JSON representation

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

Awesome Lists containing this project