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: 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/uwplse/casper
• Owner: uwplse
• License: other
• Created: 2016-07-25T20:54:18.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2023-06-15T05:03:03.000Z (over 1 year ago)
• Last Synced: 2024-05-13T00:13:30.851Z (9 months ago)
• Topics: compiler, dafny, java, spark, synthesis, z3
• Language: Java
• Size: 5.1 MB
• Stars: 49
• Watchers: 14
• Forks: 5
• Open Issues: 2

Awesome Lists containing this project