Git hunter - best free github source code

Handpicked best gits and free source code on github daily updated (almost)

uwdb/Cosette

Cosette is an automated SQL solver powered by Coq and Rosette. 07/20/2017

Git hunter - best free github source code