Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

formality-core-stdlib

Specification of the Formality proof and programming language

Ecosystem
npmjs.org
Latest Release
0.1.0
almost 7 years ago
Versions
1
Downloads
2 last month
Dependent Packages
2
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry npmjs.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:npm/formality-core-stdlib
    spec
    License MIT
    First Release almost 7 years ago
    Last Synced 29 days ago
    Keywords
    formality funcional-programming lambda-calculus programming-language type-system
    Repository
    Stars 41 on GitHub
    Forks 11 on GitHub
    repos.ecosyste.ms
    Rankings on npmjs.org
    Dependent packages Top 8.9%
    Forks Top 6.2%