There are 1 repository under semilattices topic.
Research on integrating datalog & lambda calculus via monotonicity types
Interfaces for heyting algebras and verified bounded join and meet semilattices