Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jrclogic / SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL
Stars: 39
Forks: 9
Open Issues: 20
License: gpl-2.0
Language: Haskell
Repo Size: 14.1 MB
Dependencies:
0
Created: almost 9 years ago
Updated: 20 days ago
Last pushed: 20 days ago
Last synced: 20 days ago
Commit Stats
Commits: 161
Authors: 1
Mean commits per author: 161.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/jrclogic/SMCDEL
Topics: epistemic-logic, haskell, logic, model-checking, symbolic
Files
No dependencies found