Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pkgs.racket-lang.org "contracts" keyword
cond-contract
Conditional contracts for RacketLatest release: 26 days ago - 0 stars on GitHub - 1 maintainer
Top 8.1% on pkgs.racket-lang.org
Latest release: 6 days ago - 8 stars on GitHub - 1 maintainer
contract-etc
Miscellaneous contracts.Latest release: 6 days ago - 8 stars on GitHub - 1 maintainer
contract-parameter removed
Dynamically bound contracts.Latest release: 11 months ago - 3 stars on GitHub - 1 maintainer
defensive-to-contracts
This package presents a tool that converts defensive programming into equivalent contracts. Cur...Latest release: 12 days ago - 5 stars on GitHub - 1 maintainer
lathe-morphisms
Interfaces for category theory concepts.Latest release: 28 days ago - 4 stars on GitHub - 1 maintainer
lathe-morphisms-doc
Interfaces for category theory concepts. (doc)Latest release: 27 days ago - 4 stars on GitHub - 1 maintainer
lathe-morphisms-lib
Interfaces for category theory concepts. (lib)Latest release: 28 days ago - 4 stars on GitHub - 1 maintainer
lathe-morphisms-test
Interfaces for category theory concepts. (test)Latest release: 28 days ago - 4 stars on GitHub - 1 maintainer
require-typed-check
require/typed, but skips contracts on already-typed importsLatest release: 15 days ago - 3 stars on GitHub - 1 maintainer
signature
Syntax and utilities for writing function contracts as signaturesLatest release: 14 days ago - 0 stars on GitHub - 1 maintainer
Top 10.0% on pkgs.racket-lang.org
Latest release: 14 days ago - 3 stars on GitHub - 1 maintainer
social-contract
High-level, composable syntax for describing contracts.Latest release: 14 days ago - 3 stars on GitHub - 1 maintainer
termination
Dynamic enforcement of size-change terminationLatest release: 14 days ago - 1 stars on GitHub - 1 maintainer