logical-gates
Embedded domain-specific combinator library for the abstract assembly and automated synthesis of logical circuits.