Top 7.6% downloads on npmjs.org
Top 2.7% forks on npmjs.org
npmjs.org : kind-lang
Kind-Lang in JavaScript
Registry
-
Source
- Homepage
- JSON
purl: pkg:npm/kind-lang
Keywords:
dependent-types
, formality
, functional-programming
, lambda-calculus
, moonad
, proof-language
, proof-languages
, theorem-prover
, type-theory
License: MIT
Latest release: over 2 years ago
First release: over 4 years ago
Dependent packages: 1
Dependent repositories: 1
Downloads: 37 last month
Stars: 3,700 on GitHub
Forks: 147 on GitHub
Total Commits: 468
Committers: 17
Average commits per author: 27.529
Development Distribution Score (DDS): 0.526
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago