Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / VeraBE / VeriMan

Analysis tool for Solidity smart contracts. Prototype.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/VeraBE%2FVeriMan

Stars: 33
Forks: 8
Open Issues: 0

License: gpl-3.0
Language: Python
Repo Size: 81.1 KB
Dependencies: 32

Created: about 5 years ago
Updated: 7 months ago
Last pushed: 7 months ago
Last synced: 7 months ago

Topics: blockchain, ethereum, ltl, monitoring, runtime-verification, solidity, temporal-properties, testing

Files
    Loading...
    Readme
    Loading...
    Dependencies
    requirements.txt pypi