progsyn

Packages

Name Attribute Description
AutoLifter nur.repos.progsyn.AutoLifter Artifact for TOPLAS24: Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
ocaml5.2.1-Synduce-0.2 nur.repos.progsyn.Synduce An automatic recursive function transformer
ocaml5.2.1-Parsynt-0.3 nur.repos.progsyn.parsynt Automatic parallel divide-and-conquer programs synthesizer
reduce-algebra nur.repos.progsyn.reduce-algebra A portable general-purpose computer algebra system
sketch-1.7.6 nur.repos.progsyn.sketch The sketch program synthesis tool