Ecosyste.ms: Packages

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

hackage.haskell.org : gdp

Reason about invariants and preconditions with ghosts of departed proofs. The GDP library implements building blocks for creating and working with APIs that may carry intricate preconditions for proper use. As a library author, you can use gdp to encode your API's preconditions and invariants, so that they will be statically checked at compile-time. As a library user, you can use the gdp deduction rules to codify your proofs that you are using the library correctly.

Registry - Source - Homepage - JSON
purl: pkg:hackage/gdp
Keywords: bsd3, library, program, safe
License: BSD-3-Clause
Latest release: over 4 years ago
First release: almost 6 years ago
Dependent repositories: 8
Downloads: 1,980 total
Stars: 59 on GitHub
Forks: 11 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 8 days ago

    Loading...
    Readme
    Loading...