GitHub repository: Juice-jl/LogicCircuits.jl
Primary language: Julia
Description: Logic Circuits from the Juice library