Top 6.1% forks on npmjs.org
npmjs.org : formality-net
Specification of the Formality proof and programming language
Registry
-
Source
- Homepage
- JSON
purl: pkg:npm/formality-net
Keywords:
formality
, funcional-programming
, lambda-calculus
, programming-language
, type-system
License: MIT
Latest release: over 6 years ago
First release: over 6 years ago
Dependent packages: 4
Dependent repositories: 1
Downloads: 20 last month
Stars: 41 on GitHub
Forks: 11 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 20 days ago
@everything-registry/sub-chunk-1694 0.1.0 removed
npm install @everything-registry/sub-chunk-16941 version - Latest release: almost 2 years ago - 61 downloads last month - 225 stars on GitHub - 2 maintainers
@infinitebrahmanuniverse/nolb-forma 2023.1.28 removed
Subpackage of no-one-left-behind.1 version - Latest release: over 2 years ago - 1 maintainer
@zalastax/nolb-forma 2023.1.22 removed
Subpackage of no-one-left-behind.1 version - Latest release: over 2 years ago - 37 downloads last month - 107 stars on GitHub - 1 maintainer
Check this option to include packages that no longer depend on this package in their latest version but previously did.