Tools for reasoning about circuits in Rosette/Racket 🔌 - View it on GitHub