From 65e02d39e107e86307e14beefe5bf6a1a0f86384 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Fri, 22 Aug 2025 13:09:52 -0600 Subject: [PATCH] Close #22 --- tools/program-synth/_index.md | 10 ++++++++++ tools/program-synth/codegen2.md | 16 ++++++++++++++++ tools/program-synth/fiat.md | 18 ++++++++++++++++++ tools/program-synth/lakeroad.md | 16 ++++++++++++++++ tools/program-synth/minisynth.md | 21 +++++++++++++++++++++ tools/program-synth/neuralkanren.md | 19 +++++++++++++++++++ tools/program-synth/prose.md | 18 ++++++++++++++++++ tools/program-synth/rbsyn.md | 16 ++++++++++++++++ tools/program-synth/tree-diffusion.md | 18 ++++++++++++++++++ 9 files changed, 152 insertions(+) create mode 100644 tools/program-synth/_index.md create mode 100644 tools/program-synth/codegen2.md create mode 100644 tools/program-synth/fiat.md create mode 100644 tools/program-synth/lakeroad.md create mode 100644 tools/program-synth/minisynth.md create mode 100644 tools/program-synth/neuralkanren.md create mode 100644 tools/program-synth/prose.md create mode 100644 tools/program-synth/rbsyn.md create mode 100644 tools/program-synth/tree-diffusion.md diff --git a/tools/program-synth/_index.md b/tools/program-synth/_index.md new file mode 100644 index 0000000..dbd1c30 --- /dev/null +++ b/tools/program-synth/_index.md @@ -0,0 +1,10 @@ ++++ +title = "Program Synthesis Tools" +layout = "section" ++++ + +This page lists all of the program synthesis tools on this site in alphabetical order. +Click a tool name in the first column to view tool details. +Click a colorful item in the second column to view all the tools for which that term applies. +Item colors mean nothing and are intended to make it easy to skim the page. +Colors are generated by hashing each term's name and converting it to RGB color values. \ No newline at end of file diff --git a/tools/program-synth/codegen2.md b/tools/program-synth/codegen2.md new file mode 100644 index 0000000..077a3d9 --- /dev/null +++ b/tools/program-synth/codegen2.md @@ -0,0 +1,16 @@ ++++ +title = 'CodeGen2' +subtitle = 'Program Synthesis' +links = [ { title = "Source Code", url = "https://github.com/salesforce/CodeGen2", icon = 'fa-solid fa-code' }, +] +applications = ["Program Synthesizer"] +developers = [] +licenses = ["Apache-2.0"] +inputs = [] +interfaces = ["CLI"] +maintenance = ["Actively Maintained"] +draft = false +date = 2025-08-22 ++++ + + CodeGen2 models for program synthesis \ No newline at end of file diff --git a/tools/program-synth/fiat.md b/tools/program-synth/fiat.md new file mode 100644 index 0000000..64dadf3 --- /dev/null +++ b/tools/program-synth/fiat.md @@ -0,0 +1,18 @@ ++++ +title = 'Fiat' +subtitle = 'Program Synthesis' +links = [ + { title = "Homepage", url = "http://plv.csail.mit.edu/fiat/", icon = 'fa-solid fa-home' }, + { title = "Source Code", url = "https://github.com/mit-plv/fiat", icon = 'fa-solid fa-code' }, +] +applications = ["Program Synthesizer"] +developers = ["MIT"] +licenses = ["MIT"] +inputs = [] +interfaces = ["CLI"] +maintenance = ["Actively Maintained"] +draft = false +date = 2025-08-22 ++++ + + Mostly Automated Synthesis of Correct-by-Construction Programs \ No newline at end of file diff --git a/tools/program-synth/lakeroad.md b/tools/program-synth/lakeroad.md new file mode 100644 index 0000000..218814e --- /dev/null +++ b/tools/program-synth/lakeroad.md @@ -0,0 +1,16 @@ ++++ +title = 'Lakeroad' +subtitle = 'Program Synthesis' +links = [ { title = "Source Code", url = "https://github.com/gussmith23/lakeroad", icon = 'fa-solid fa-code' }, +] +applications = ["Program Synthesizer"] +developers = [] +licenses = ["MIT"] +inputs = [] +interfaces = ["CLI"] +maintenance = ["Actively Maintained"] +draft = false +date = 2025-08-22 ++++ + + FPGA synthesis tool powered by program synthesis \ No newline at end of file diff --git a/tools/program-synth/minisynth.md b/tools/program-synth/minisynth.md new file mode 100644 index 0000000..fbfed12 --- /dev/null +++ b/tools/program-synth/minisynth.md @@ -0,0 +1,21 @@ ++++ +title = 'minsynth' +subtitle = 'Program Synthesis' +links = [ + { title = "Homepage", url = "https://www.cs.cornell.edu/~asampson/blog/minisynth.html", icon = 'fa-solid fa-home' }, + { title = "Source Code", url = "https://github.com/sampsyo/minisynth", icon = 'fa-solid fa-code' }, +] +applications = ["Program Synthesizer"] +developers = [] +licenses = ["MIT"] +inputs = [] +interfaces = ["CLI"] +maintenance = ["Not Maintained"] +updated_year = 2019 +draft = false +date = 2025-08-22 ++++ + +{{}} + + program synthesis is possible \ No newline at end of file diff --git a/tools/program-synth/neuralkanren.md b/tools/program-synth/neuralkanren.md new file mode 100644 index 0000000..f02c516 --- /dev/null +++ b/tools/program-synth/neuralkanren.md @@ -0,0 +1,19 @@ ++++ +title = 'neuralkanren' +subtitle = 'Program Synthesis' +links = [ { title = "Source Code", url = "https://github.com/xuexue/neuralkanren", icon = 'fa-solid fa-code' }, +] +applications = ["Program Synthesizer"] +developers = [] +licenses = ["MIT"] +inputs = [] +interfaces = ["CLI"] +maintenance = ["Not Maintained"] +updated_year = 2018 +draft = false +date = 2025-08-22 ++++ + +{{}} + + Neural Guided Constraint Logic Programming for Program Synthesis \ No newline at end of file diff --git a/tools/program-synth/prose.md b/tools/program-synth/prose.md new file mode 100644 index 0000000..6c8f9b7 --- /dev/null +++ b/tools/program-synth/prose.md @@ -0,0 +1,18 @@ ++++ +title = 'PROSE' +subtitle = 'Program Synthesis' +links = [ + { title = "Homepage", url = "https://www.microsoft.com/en-us/research/group/prose/", icon = 'fa-solid fa-home' }, + { title = "Source Code", url = "https://github.com/microsoft/prose", icon = 'fa-solid fa-code' }, +] +applications = ["Program Synthesizer"] +developers = ["Microsoft Research"] +licenses = ["MIT"] +inputs = [] +interfaces = ["CLI"] +maintenance = ["Actively Maintained"] +draft = false +date = 2025-08-22 ++++ + + Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK. \ No newline at end of file diff --git a/tools/program-synth/rbsyn.md b/tools/program-synth/rbsyn.md new file mode 100644 index 0000000..27519a9 --- /dev/null +++ b/tools/program-synth/rbsyn.md @@ -0,0 +1,16 @@ ++++ +title = 'RbSyn' +subtitle = 'Program Synthesis' +links = [ { title = "Source Code", url = "https://github.com/ku-progsys/rbsyn", icon = 'fa-solid fa-code' }, +] +applications = ["Program Synthesizer"] +developers = [] +licenses = ["BSD-3-Clause"] +inputs = [] +interfaces = ["CLI"] +maintenance = ["Actively Maintained"] +draft = false +date = 2025-08-22 ++++ + + Program synthesis for Ruby \ No newline at end of file diff --git a/tools/program-synth/tree-diffusion.md b/tools/program-synth/tree-diffusion.md new file mode 100644 index 0000000..29da960 --- /dev/null +++ b/tools/program-synth/tree-diffusion.md @@ -0,0 +1,18 @@ ++++ +title = 'Tree Diffusion' +subtitle = 'Program Synthesis' +links = [ + { title = "Homepage", url = "https://tree-diffusion.github.io/", icon = 'fa-solid fa-home' }, + { title = "Source Code", url = "https://github.com/revalo/tree-diffusion", icon = 'fa-solid fa-code' }, +] +applications = ["Program Synthesizer"] +developers = [] +licenses = ["MIT"] +inputs = [] +interfaces = ["CLI"] +maintenance = ["Actively Maintained"] +draft = false +date = 2025-08-22 ++++ + + Diffusion on syntax trees for program synthesis \ No newline at end of file