| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| bigint/ | H | 03-Dec-2021 | - | 3,197 | 1,880 | |
| ezsat/ | H | 03-Dec-2021 | - | 3,483 | 2,647 | |
| json11/ | H | 03-Dec-2021 | - | 1,022 | 684 | |
| minisat/ | H | 03-May-2022 | - | 5,227 | 3,256 | |
| sha1/ | H | 03-Dec-2021 | - | 334 | 225 | |
| subcircuit/ | H | 03-May-2022 | - | 3,222 | 2,503 |