GitHub
topos-catcolab
Topos Institute's CatColab for collaborative category theory - community model building, double theories, stock and flow epidemiology, and real-time collaborative diagramming via Automerge CRDT.
☆ 5View skill
devops architecture patterns AI Skills
Discover devops architecture patterns skills, compare source repositories and read the instructions for each workflow.
Categories: devops architecture patterns
devops architecture patterns Clear filters
Browse skills
GitHub
concatenative
Forth/Factor/Joy: stack-based concatenative programming where composition replaces application.
☆ 5View skill
GitHub
categorical-rewriting-triad4
Categorical Rewriting: Triad 4 (World Transformation)
☆ 5View skill
GitHub
oapply-colimit
oapply operad algebra evaluation via colimits with Specter-style composition patterns
☆ 5View skill
GitHub
signal-isolated-auth
Maximally isolated Signal authentication via colored operad security boundaries. VM→Container→Process enclosure with GF(3) conservation for Agent-O-Rama pathways.
☆ 5View skill
GitHub
ies-flox
FloxHub publication `bmorphism/ies` - a focused development environment
☆ 5View skill
GitHub
infinity-operads
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
☆ 5View skill
GitHub
algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
☆ 5View skill
GitHub
social-emergence-protocol
Minimal interaction patterns that bootstrap complex social behaviors in distributed systems
☆ 5View skill
GitHub
protocol-acset
Model decentralized protocols as attributed C-sets for compositional analysis, interoperability design, and protocol evolution. Apply categorical mathematics to P2P infrastructure.
☆ 5View skill
GitHub
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely
☆ 5View skill
GitHub
derangement-crdt
Derangement-CRDT Skill
☆ 5View skill
GitHub
tripartite-decompositions
GF(3)-balanced structured decompositions for parallel computation. Decomposes problems into MINUS/ERGODIC/PLUS components with sheaf-theoretic gluing. Use for FPT algorithms, skill allocation, or any 3-way para...
☆ 5View skill
GitHub
mcp-spec-checker
Predicate-level semantic diff for MCP protocol specs. Compares 0618 vs 1125 specs via Narya types, GF(3) evaluators, and Unison-style effects. Use for protocol verification, spec migration, or detecting breakin...
☆ 5View skill
GitHub
reversible-computing
Janus and reversible languages: run programs backwards, time-symmetric computation.
☆ 5View skill
GitHub
coequalizers
Quotient redundant skill paths via coequalizers, preserving GF(3) conservation
☆ 5View skill
GitHub
slowtime-mcp
Asymmetric time dilation for MCP operations - deliberate slow paths enable capability accumulation through Cat# bicomodule composition.
☆ 5View skill
GitHub
soliton-detection
Topological soliton detection and agency bridge with anyonic fusion algebra for concept composition
☆ 5View skill
GitHub
world-runtime
Firecracker microVM + Morph Infinibranch WorldRuntime for parallel verse execution. Entities branch/snapshot in
☆ 5View skill
GitHub
gf3-tripartite
GF(3) Tripartite Orchestration
☆ 5View skill
GitHub
recursive-string-diagrams
recursive-string-diagrams
☆ 5View skill
GitHub
lhott-cohesive-linear
Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.
☆ 5View skill
GitHub
type-inference-validation
Static type inference and validation for navigation paths
☆ 5View skill
GitHub
lhott-cohesive-linear
Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.
☆ 5View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.