Top 2.6% forks on proxy.golang.org
proxy.golang.org : github.com/Kind-lang/Kind
A modern proof language
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:golang/github.com/%21kind-lang/%21kind
Keywords:
dependent-types
, formality
, functional-programming
, lambda-calculus
, moonad
, proof-language
, proof-languages
, theorem-prover
, type-theory
License: MIT
Latest release: about 4 years ago
First release: over 4 years ago
Stars: 3,692 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: 25 days ago