GitHub
oapply-colimit
oapply operad algebra evaluation via colimits with Specter-style composition patterns
Skills IA lifestyle architecture patterns
Découvrez les skills lifestyle architecture patterns, comparez leurs dépôts et consultez leurs instructions.
Catégories: lifestyle architecture patterns
lifestyle architecture patterns Effacer les filtres
Explorer
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.
GitHub
ies-flox
FloxHub publication `bmorphism/ies` - a focused development environment
GitHub
infinity-operads
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
GitHub
algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
GitHub
social-emergence-protocol
Minimal interaction patterns that bootstrap complex social behaviors in distributed systems
GitHub
protocol-acset
Model decentralized protocols as attributed C-sets for compositional analysis, interoperability design, and protocol evolution. Apply categorical mathematics to P2P infrastructure.
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
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é.