GitHub repository: Coloquinte/quaigh
Primary language: Rust
Description: Logic circuit analysis and optimization