verified-smart-contracts

:page_facing_up: Verified Ethereum Smart Contract dataset (by andstor)

Verified-smart-contracts Alternatives

Similar projects and alternatives to verified-smart-contracts based on common topics and language

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better verified-smart-contracts alternative or higher similarity.

verified-smart-contracts reviews and mentions

Posts with mentions or reviews of verified-smart-contracts. We have used some of these posts to build our list of alternatives and similar projects.
  • search engine for verified solidity source codes?
    1 project | /r/solidity | 15 Nov 2022
    There is a repo at https://github.com/andstor/verified-smart-contracts but the dataset was recently deleted. Anyway it’s promised to be restored some day by the author (once he finish his research papers)

Stats

Basic verified-smart-contracts repo stats
1
20
3.1
6 months ago

andstor/verified-smart-contracts is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of verified-smart-contracts is Python.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com