Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
bower.io "bounded" keyword
idris-heyting-algebra v0.2.0
Interfaces for heyting algebras and verified bounded join and meet semilattices2 versions - Latest release: almost 7 years ago - 5 stars on GitHub