GitHub
structural-stability
Robustness of qualitative dynamics under perturbation
☆ 5查看技能
生活与效率 AI 技能
发现 生活与效率 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 生活与效率
生活与效率 清除筛选
全部技能
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
skill-dispatch
GF(3) Triadic Task Routing for Subagent Orchestration
☆ 5查看技能
GitHub
time-travel-crdt
Time Travel CRDT Skill
☆ 5查看技能
GitHub
entropy-sequencer
Layer 5: Interaction Interleaving for Maximum Information Gain
☆ 5查看技能
GitHub
ocaml
OCaml ecosystem = opam + dune + merlin + ocamlformat.
☆ 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
emacs
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
☆ 5查看技能
GitHub
substrate-vulnerability-scanner
Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weights, and bad origin checks. Use when auditing Substrate runtimes or FRAME pallets. (projec...
☆ 5查看技能
GitHub
stellogen
Stellogen Skill
☆ 5查看技能
GitHub
sicp
SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design
☆ 5查看技能
GitHub
anima-theory
ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understandi...
☆ 5查看技能
GitHub
datalog-fixpoint
Datalog bottom-up fixpoint iteration for recursive queries
☆ 5查看技能
GitHub
babashka-clj
Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.
☆ 5查看技能
GitHub
bdd-mathematical-verification
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpe...
☆ 5查看技能
GitHub
privilege-declaration-generator
Generates tizen-manifest.xml and config.xml privilege declarations. Auto-detects required privileges from app source code.
☆ 5查看技能
GitHub
rama-gay-zig
rama-gay-zig skill
☆ 5查看技能
GitHub
discopy-operads
DiscoPy Operads Skill
☆ 5查看技能
GitHub
koopman-generator
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
☆ 5查看技能
GitHub
discohy-streams
DisCoPy categorical color streams via Hy with 3 parallel TAP streams and 7 operad variants
☆ 5查看技能
GitHub
active-interleave
Active Interleave Skill
☆ 5查看技能
GitHub
cognitive-surrogate
cognitive-surrogate skill
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。