| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| aiger/ | H | 03-Dec-2021 | - | 1,628 | 1,312 | |
| blif/ | H | 03-Dec-2021 | - | 686 | 585 | |
| btor/ | H | 03-May-2022 | - | 1,481 | 1,153 | |
| cxxrtl/ | H | 03-Dec-2021 | - | 5,874 | 4,594 | |
| edif/ | H | 03-Dec-2021 | - | 717 | 598 | |
| firrtl/ | H | 03-May-2022 | - | 1,354 | 990 | |
| intersynth/ | H | 03-Dec-2021 | - | 222 | 167 | |
| json/ | H | 03-Dec-2021 | - | 682 | 621 | |
| protobuf/ | H | 03-Dec-2021 | - | 386 | 308 | |
| rtlil/ | H | 03-Dec-2021 | - | 614 | 505 | |
| simplec/ | H | 03-May-2022 | - | 935 | 725 | |
| smt2/ | H | 03-May-2022 | - | 4,544 | 3,670 | |
| smv/ | H | 03-May-2022 | - | 870 | 683 | |
| spice/ | H | 03-Dec-2021 | - | 275 | 223 | |
| table/ | H | 03-Dec-2021 | - | 125 | 83 | |
| verilog/ | H | 03-Dec-2021 | - | 2,327 | 2,000 |