Projects in Awesome Lists tagged with fibrations
A curated list of projects in awesome lists tagged with fibrations .
https://github.com/jozefg/fibrational-semantics
Notes on simple fibrational semantics.
boring-math fibrations semantics
Last synced: 28 Jul 2025
https://github.com/knothed/algebraic-fibrations
A tool to find virtual algebraic fibrations of right-angled Coxeter groups.
coxeter-groups fibrations hyperbolic-geometry
Last synced: 28 Oct 2025
