gap-packages / sgpdecLinks
GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
☆19Updated last week
Alternatives and similar repositories for sgpdec
Users that are interested in sgpdec are comparing it to the libraries listed below
Sorting:
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 3 months ago
- Building dynamical systems compositionally☆71Updated 8 months ago
- Julia library for homological persistence☆118Updated 4 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Convex optimization modeling in Lean 4☆47Updated last year
- ☆48Updated last year
- ☆18Updated 3 weeks ago
- GAP package for quivers and path algebras☆31Updated this week
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- A graphical editor for graph-like structures☆97Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆79Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project