Cckit
Source code moved to https://github.com/hyperledger-labs/cckit
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Top Blockchain Paper | 460 | a year ago | 1 | |||||||
| Top Blockchain paper, such as CCS, NSDI, S&P, EuroS&P, CRYPTO, etc. | ||||||||||
| Cckit | 190 | 2 | a year ago | 132 | July 28, 2022 | 2 | apache-2.0 | Go | ||
| Source code moved to https://github.com/hyperledger-labs/cckit | ||||||||||
| Concert | 105 | 3 months ago | 6 | mit | Coq | |||||
| A framework for smart contract verification in Coq | ||||||||||
| Attestation | 45 |  | 4 | 8 months ago | 51 | October 20, 2023 | 55 | mit | Java | |
| Paper and implementation of blockchain attestations | ||||||||||
| Smart_contract_security_analysis | 23 | 5 years ago | ||||||||
| Papers of smart contract security analysis (and tools) | ||||||||||
| Blockchain Papers | 19 | 6 years ago | bsd-3-clause | |||||||
| 区块链相关的有价值的文献 | ||||||||||
| Smartcontracttester | 9 | 6 years ago | mit | JavaScript | ||||||
| Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites | ||||||||||
Alternatives To CckitSelect To Compare
Alternative Project Comparisons
Popular Paper Projects
Popular Smart Contracts Projects
Popular Learning Resources Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Golang
Paper
Smart Contracts
Fabric
Unit Testing
Hyperledger
Hyperledger Fabric