propagators
Sussman/Radul propagator networks for constraint propagation and bidirectional
Découvrez les skills Documentation, comparez leurs dépôts et consultez leurs instructions.
Sussman/Radul propagator networks for constraint propagation and bidirectional
Index of 1057 hatchery repos with GAY.md color assignments. Maps plurigrid/bmorphism/TeglonLabs ecosystem to skills.
Sets preserved by the flow
Squint ClojureScript runtime for minimal JS output compilation
GitHub CLI (212 man pages).
DuckDB Spatial Skill
GNU Scheme interpreter (67K lines info).
Lee Cronin's Assembly Theory for molecular complexity measurement and
SCUM Resource Skill
Emacs Info documentation system. Navigate and query Info manuals for Emacs, Elisp, and GNU tools.
Self-producing skill system combining ruler enforcement with skill self-evolution. Implements trifurcation-first imperative via nbb sexp invocation for idempotent agent instruction.
Compare data structures (DuckDB, LanceDB) via ACSets with persistent homology coverage analysis and geometric morphism translation.
Voice Channel UWD Skill
Go-based security techniques from "Black Hat Go" extended with macOS, Cloud, Mobile, IoT, Supply Chain, API, Web3, AI/ML, Red Team, ATT&CK, and LLM chapters. 186 techniques, 36 tools, 33 defenses across 37 chap...
Gay.jl world_ pattern: persistent composable state builders with GF(3) conservation, Möbius invertibility, and Narya verification
Comprehensive PDF manipulation toolkit for extracting text and tables,
SICMUtils/Emmy - Clojure library for symbolic mathematics, automatic differentiation, and classical mechanics. Bridges SICM concepts to executable computation via SRFI-compatible abstractions.
Tests Tizen application sandboxes for privilege escalation and escape vulnerabilities. Validates process isolation and capability limitations.
ASI Agent-O-Rama Skill
SLIME integration for Common Lisp development
Interleave three deterministic color streams into balanced schedules
Rick Roderick: Philosophy Under Siege
3-MATCH gadgets and non-backtracking geodesics for 3-SAT via colored subgraph isomorphism.
Rust ecosystem = cargo + rustc + clippy + rustfmt.
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é.