GitHub
unwiring-arena
Play/Coplay arena theory for autopoietic closure with GF(3) conservation
☆ 5查看技能
编程开发 AI 技能
发现 编程开发 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 编程开发
编程开发 清除筛选
全部技能
GitHub
bumpus-narratives
Sheaves on time categories for compositional temporal reasoning. Bumpus
☆ 5查看技能
GitHub
hyperbolicity
No eigenvalues on imaginary axis (robust dynamics)
☆ 5查看技能
GitHub
pitchfork
Symmetric bifurcation with symmetry breaking
☆ 5查看技能
GitHub
moebius-inversion
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
☆ 5查看技能
GitHub
code-review
Automated code review for pull requests using specialized review patterns.
☆ 5查看技能
GitHub
browser-history-acset
Browser History ACSet
☆ 5查看技能
GitHub
bmorphism-interactome
GitHub interactome explorer for bmorphism/plurigrid ecosystem. Maps collaborations across AlgebraicJulia, Topos Institute, Anthropic, and MCP servers. Use for discovering cobordisms between research communities...
☆ 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
aristotle-lean
IMO Gold Medal level Lean4 theorem proving via Harmonic API
☆ 5查看技能
GitHub
markov-game-acset
markov-game-acset skill
☆ 5查看技能
GitHub
three-match
3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction
☆ 5查看技能
GitHub
ward-identity-checker
Ward Identity Checker
☆ 5查看技能
GitHub
social-emergence-protocol
Minimal interaction patterns that bootstrap complex social behaviors in distributed systems
☆ 5查看技能
GitHub
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for 3-way color streams with arbitrary precision.
☆ 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
sheaf-cohomology
Čech cohomology for local-to-global consistency verification in code
☆ 5查看技能
GitHub
dynamic-sufficiency-goblin
Self-regulating Goblins actor implementing Ivan Illich's dynamic sufficiency
☆ 5查看技能
GitHub
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely
☆ 5查看技能
GitHub
ordered-locale-fanout
UPDATED: Now uses proper ordered-locale (Heunen-van der Schaaf 2024). Cocone construction over triadic ordered locale with open cone condition.
☆ 5查看技能
GitHub
cheapskate
Cheapskate Skill
☆ 5查看技能
GitHub
jira-issues
Create, update, and manage Jira issues from natural language. Use when the user wants to log bugs, create tickets, update issue status, or manage their Jira backlog.
☆ 5查看技能
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
☆ 5查看技能
GitHub
hatchery-papers
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。