Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Building Secure Contracts | 2,030 | 3 months ago | 67 | agpl-3.0 | Solidity | |||||
Guidelines and training material to write secure smart contracts | ||||||||||
Kframework | 7 | 4 years ago | apache-2.0 | OCaml | ||||||
RChain Rholang Implementation & Materials for learning K Framework |