Software Development

Synthesis Specification Language

Define specifications for program synthesis using various paradigms

Publisher / source
a5c-ai/babysitter (found on GitHub top repositories)
Upstream record
a5c-ai/babysitter
Version
Version 1
Published
Publication review
Approved for publication · recorded passed scan 2026-11-08
Content fingerprint
12004daefde3b45b2bc0c1f3faf5cc2c4cefd43d7afa560dc05adcc2fca7d5ef