• SPARQL to SQL translation engine for multiple backends, such as DB2, PostgreSQL and Apache Spark

    Java 46 9 EPL-2.0 Updated Aug 10, 2018
  • Work on query synthesis

    Racket EPL-1.0 Updated May 21, 2018
  • The Rosette solver-aided host language, sample solver-aided DSLs, and demos

    Racket 41 Updated Apr 13, 2018