Embedded domain-specific combinator library for the abstract assembly and automated synthesis of logical circuits.
Serl - A tool for creating and using languages
Python building blocks for quantum computing and domain specific languages.