All Categories → No Category → dafny

Top 1 dafny open source projects

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

✭ 45

java Lex spark compiler z3 synthesis dafny

1-1 of 1 dafny projects