thufv / automerge Star 7 Code Issues Pull requests Resolve conflicts via version space algebra in structured merge. java merge-conflicts conflict-resolution program-synthesis merger structured-merge version-space-algebra Updated Nov 10, 2018 Java
syall / json-synthesizer Star 2 Code Issues Pull requests Program Synthesizer from JSON data sources that produces Transpilable Typed JSON. json data-structure program-synthesis version-space-algebra json-synthesizer Updated Dec 10, 2020 JavaScript
baileywickham / CategoryTheory Star 2 Code Issues Pull requests Version Space Algebras for my Mathematics senior project org-mode version-space-algebra Updated Aug 11, 2022 TeX