Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
My Program Learning | 14 | 8 months ago | 24 | apache-2.0 | Java | |||||
我的编程学习之路,包括了design pattern,data structure,java8,java io,java concurrent,guava,spring,spring boot,spring cloud,js,vue | ||||||||||
Qmaxuse | 7 | a year ago | 3 | other | SMT | |||||
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants. |