GitHub repository: losfair/NextHDL
Primary language: Rust
Description: symbolic evaluation == circuit synthesis