Skills-SIMarket
skills-si.com
Proposer une Skill
/
L’interface est localisée ; les présentations et documents des Skills sont traduits automatiquement par IA dans votre langue. Le code, les commandes, chemins et termes techniques restent en version originale, et le document de l’auteur fait foi.
Explorer les Skills
Données et recherche · SKILL.md

algebraic-rewriting

algebraic-rewriting

Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.

Independent GitHub snapshot · Automated classification · Original documentation governs

Ddiegosouzapw / awesome-omni-skillNOASSERTION

Documentation de la Skill

GitHub
Chargement de la documentation depuis la source…

More skills to explore

Voir toutes les Skills
Skills enregistrées