Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ldv-klever / klever
Read-only mirror of the Klever Git repository
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ldv-klever%2Fklever
Stars: 20
Forks: 12
Open Issues: 1
License: apache-2.0
Language: Python
Repo Size: 162 MB
Dependencies:
0
Created: almost 6 years ago
Updated: 6 days ago
Last pushed: 12 days ago
Last synced: 9 days ago
Topics: c, formal-methods, formal-specification, formal-verification, model-checking, software-verification, specification, static-analysis, verification
Files
No dependencies found