GitHub / querycert / qcert
Compilation and Verification of Data-Centric Languages
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/querycert%2Fqcert
PURL: pkg:github/querycert/qcert
Stars: 58
Forks: 10
Open issues: 32
License: apache-2.0
Language: Coq
Size: 28.7 MB
Dependencies parsed at: Pending
Created at: about 9 years ago
Updated at: 3 months ago
Pushed at: about 1 year ago
Last synced at: 4 days ago
Commit Stats
Commits: 2051
Authors: 16
Mean commits per author: 128.19
Development Distribution Score: 0.64
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/querycert/qcert
Topics: compiler, coq-proof-assistant, functional-programming, query-engine, query-language, sql, verification, verified-compiler