Close #22

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.

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 

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 

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 

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
++++
+
+{{<inactive year="2019">}}
+
+ program synthesis is possible 

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
++++
+
+{{<inactive year="2018">}}
+
+ Neural Guided Constraint Logic Programming for Program Synthesis 

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. 

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 

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