GitHub
world-hopping
Badiou-inspired possible world navigation using triangle inequality constraints,
☆ 5查看技能
documentation architecture patterns AI 技能
发现 documentation architecture patterns 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: documentation architecture patterns
documentation architecture patterns 清除筛选
全部技能
GitHub
dynamic-sufficiency
Causal state gating via ε-machine. Coworld observer that prevents action
☆ 5查看技能
GitHub
lasalle-invariance
Invariance principle for asymptotic stability
☆ 5查看技能
GitHub
triadic-skill-orchestrator
Orchestrates multiple skills in GF(3)-balanced triplets. Assigns MINUS/ERGODIC/PLUS trits to skills ensuring conservation. Use for multi-skill workflows, parallel skill dispatch, or maintaining GF(3) invariants...
☆ 5查看技能
GitHub
entropy-sequencer
Layer 5: Interaction Interleaving for Maximum Information Gain
☆ 5查看技能
GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.
☆ 5查看技能
GitHub
constraint-generalization
Generalization and composition of constraints across navigators
☆ 5查看技能
GitHub
sicp
SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design
☆ 5查看技能
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.
☆ 5查看技能
GitHub
concatenative
Forth/Factor/Joy: stack-based concatenative programming where composition replaces application.
☆ 5查看技能
GitHub
categorical-rewriting-triad4
Categorical Rewriting: Triad 4 (World Transformation)
☆ 5查看技能
GitHub
oapply-colimit
oapply operad algebra evaluation via colimits with Specter-style composition patterns
☆ 5查看技能
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.
☆ 5查看技能
GitHub
ies-flox
FloxHub publication `bmorphism/ies` - a focused development environment
☆ 5查看技能
GitHub
infinity-operads
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
☆ 5查看技能
GitHub
algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
☆ 5查看技能
GitHub
social-emergence-protocol
Minimal interaction patterns that bootstrap complex social behaviors in distributed systems
☆ 5查看技能
GitHub
protocol-acset
Model decentralized protocols as attributed C-sets for compositional analysis, interoperability design, and protocol evolution. Apply categorical mathematics to P2P infrastructure.
☆ 5查看技能
GitHub
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely
☆ 5查看技能
GitHub
derangement-crdt
Derangement-CRDT Skill
☆ 5查看技能
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...
☆ 5查看技能
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...
☆ 5查看技能
GitHub
reversible-computing
Janus and reversible languages: run programs backwards, time-symmetric computation.
☆ 5查看技能
GitHub
coequalizers
Quotient redundant skill paths via coequalizers, preserving GF(3) conservation
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。