Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Coq Dpdgraph | 83 | a month ago | 18 | lgpl-2.1 | Coq | |||||
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot] | ||||||||||
Corn | 5 | 12 years ago | 1 | gpl-2.0 | Verilog | |||||