Projects in Awesome Lists tagged with constructible-sets
A curated list of projects in awesome lists tagged with constructible-sets .
https://github.com/homalg-project/locales
[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
boolean-algebras coframes coheyting-algebras constructible-sets frames heyting-algebras lattices locales
Last synced: 16 Feb 2026
https://github.com/homalg-project/zariskiframes
[READ-ONLY-SUBSPLIT] (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties
affine-variety constructible-sets locales locally-closed-sets projective-variety quasi-affine-variety toric-variety zariski-coframes zariski-frames zariski-topology
Last synced: 12 Feb 2026