Ecosyste.ms: Packages

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

bower.io "lattice" keyword

idris-heyting-algebra v0.2.0
Interfaces for heyting algebras and verified bounded join and meet semilattices
2 versions - Latest release: almost 7 years ago - 5 stars on GitHub
purescript-kleene-logic v0.1.0
Kleene Logic in purescript
1 version - Latest release: almost 7 years ago - 0 stars on GitHub
lattice v0.0.0
A simple, beautiful CSS grid layout framework based on Skeleton.
1 version - Latest release: over 10 years ago - 2 dependent repositories - 3 stars on GitHub
Related Keywords
semilattice 2 sass 1 css 1 skeleton 1 layout 1 grid 1 many-valued-logic 1 logic 1 kleene 1 semilattices 1 meet 1 join 1 heyting-algebras 1 lattices 1 bounded 1 verified 1 algebras 1 algebra 1 heyting 1 idris 1