Data

Tools

Indexes

Applications

Experiments

Packages

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

npmjs.org "funcional-programming" keyword

formality-core-stdlib 0.1.0
Specification of the Formality proof and programming language
1 version - Latest release: over 6 years ago - 2 dependent packages - 1 dependent repositories - 2 downloads last month - 41 stars on GitHub - 1 maintainer
formality-net 0.1.10
Specification of the Formality proof and programming language
10 versions - Latest release: over 6 years ago - 4 dependent packages - 1 dependent repositories - 67 downloads last month - 41 stars on GitHub - 1 maintainer
@changyan/memoize 0.0.1
A JavaScript function wrapper to memorize / cache result with the same input
1 version - Latest release: over 8 years ago - 1 dependent package - 1 dependent repositories - 7 downloads last month - 6 stars on GitHub - 1 maintainer
Related Keywords
formality 2 lambda-calculus 2 programming-language 2 type-system 2 cache 1 memoize 1 fp 1 wrapper 1