GitHub / JHU-PL-Lab / dde
Pure Demand Operational Semantics
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JHU-PL-Lab%2Fdde
PURL: pkg:github/JHU-PL-Lab/dde
Stars: 5
Forks: 0
Open issues: 0
License: cc-by-sa-4.0
Language: OCaml
Size: 671 KB
Dependencies parsed at: Pending
Created at: over 2 years ago
Updated at: 11 months ago
Pushed at: over 1 year ago
Last synced at: about 1 month ago
Commit Stats
Commits: 133
Authors: 1
Mean commits per author: 133.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/JHU-PL-Lab/dde
Topics: abstract-interpretation, coq, interpreter, ocaml, operational-semantics, program-analysis