progsyn

Packages

Name Attribute Description
AutoLifter nur.repos.progsyn.AutoLifter Artifact for TOPLAS24: Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
ocaml5.1.1-Synduce-0-unstable-2023-08-12 nur.repos.progsyn.Synduce An automatic recursive function transformer
eusolver nur.repos.progsyn.eusolver enumerative unification based solver
ocaml5.1.1-Parsynt-0-unstable-2021-12-15 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