Popular repositories Loading

1. quetzal quetzal Public

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

   Java 106 14

2. synthesis synthesis Public

   Work on query synthesis

   Racket

3. rosette rosette Public

   Forked from tlringer/rosette

   The Rosette solver-aided host language, sample solver-aided DSLs, and demos

   Racket