GitHub
protocol-acset
Model decentralized protocols as attributed C-sets for compositional analysis, interoperability design, and protocol evolution. Apply categorical mathematics to P2P infrastructure.
Skills IA databases architecture patterns
Découvrez les skills databases architecture patterns, comparez leurs dépôts et consultez leurs instructions.
Catégories: databases architecture patterns
databases architecture patterns Effacer les filtres
Explorer
GitHub
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely
GitHub
derangement-crdt
Derangement-CRDT 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...
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...
GitHub
reversible-computing
Janus and reversible languages: run programs backwards, time-symmetric computation.
GitHub
coequalizers
Quotient redundant skill paths via coequalizers, preserving GF(3) conservation
GitHub
slowtime-mcp
Asymmetric time dilation for MCP operations - deliberate slow paths enable capability accumulation through Cat# bicomodule composition.
GitHub
soliton-detection
Topological soliton detection and agency bridge with anyonic fusion algebra for concept composition
GitHub
world-runtime
Firecracker microVM + Morph Infinibranch WorldRuntime for parallel verse execution. Entities branch/snapshot in
GitHub
gf3-tripartite
GF(3) Tripartite Orchestration
GitHub
recursive-string-diagrams
recursive-string-diagrams
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.
GitHub
type-inference-validation
Static type inference and validation for navigation paths
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.
GitHub
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
GitHub
unison
Unison language - content-addressed functional programming with abilities for effects, distributed computing, and structural types. Use for pure functional code, effect management, distributed systems, and refa...
GitHub
interaction-nets
Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting
GitHub
invariant-set
Sets preserved by the flow
GitHub
worlding
Gay.jl world_ pattern: persistent composable state builders with GF(3) conservation, Möbius invertibility, and Narya verification
GitHub
mcp-builder
Guide for creating high-quality MCP (Model Context Protocol) servers
GitHub
goblins
Distributed object capability system (6.5K lines info).
GitHub
mcp-tripartite
MCP tripartite integration for orchestrating distributed tool protocols
GitHub
bmorphism-diagrams
bmorphism Diagrams
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.