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
require-typed-check
require/typed, but skips contracts on already-typed importsLatest release: 2 days ago - 3 stars on GitHub - 1 maintainer
Top 8.1% on pkgs.racket-lang.org
Latest release: 2 days ago - 8 stars on GitHub - 1 maintainer
contract-etc
Miscellaneous contracts.Latest release: 2 days ago - 8 stars on GitHub - 1 maintainer
cond-contract
Conditional contracts for RacketLatest release: 7 days ago - 0 stars on GitHub - 1 maintainer
lathe-morphisms-doc
Interfaces for category theory concepts. (doc)Latest release: 8 days ago - 4 stars on GitHub - 1 maintainer
lathe-morphisms-test
Interfaces for category theory concepts. (test)Latest release: 8 days ago - 4 stars on GitHub - 1 maintainer
lathe-morphisms-lib
Interfaces for category theory concepts. (lib)Latest release: 9 days ago - 4 stars on GitHub - 1 maintainer
lathe-morphisms
Interfaces for category theory concepts.Latest release: 9 days ago - 4 stars on GitHub - 1 maintainer
Top 10.0% on pkgs.racket-lang.org
Latest release: 22 days ago - 3 stars on GitHub - 1 maintainer
social-contract
High-level, composable syntax for describing contracts.Latest release: 22 days ago - 3 stars on GitHub - 1 maintainer
signature
Syntax and utilities for writing function contracts as signaturesLatest release: 23 days ago - 0 stars on GitHub - 1 maintainer
defensive-to-contracts
This package presents a tool that converts defensive programming into equivalent contracts. Cur...Latest release: 23 days ago - 5 stars on GitHub - 1 maintainer
termination
Dynamic enforcement of size-change terminationLatest release: 23 days ago - 1 stars on GitHub - 1 maintainer
contract-parameter removed
Dynamically bound contracts.Latest release: 10 months ago - 3 stars on GitHub - 1 maintainer