Rechercher

PythonReactSEOPDF

Skills IA tools framework internals

Découvrez les skills tools framework internals, comparez leurs dépôts et consultez leurs instructions.

Catégories: tools framework internals

577–600 sur 740

tools framework internals Effacer les filtres

Explorer

GitHub

performance-hunter

j0KZ

Find and fix performance bottlenecks in ANY language or framework. Use when applications are slow, memory usage is high, or you need to optimize critical paths.

GitHub

moai-lang-cpp

zellycloud

Modern C++ (C++23/C++20) development specialist covering RAII, smart pointers, concepts, ranges, modules, and CMake. Use when developing high-performance applications, games, system software, or embedded system...

GitHub

moai-lang-rust

zellycloud

Rust 1.92+ development specialist covering Axum, Tokio, SQLx, and memory-safe systems programming. Use when building high-performance, memory-safe applications or WebAssembly.

GitHub

convex-utility

amirrudd

Skill for standardizing and accelerating Convex backend development with boilerplate generation and pattern enforcement.

GitHub

zephyr-driver-development

ale-alfaro

Full development cycle for Zephyr RTOS C/C++ drivers using Zephyr’s device model best practices. Use for creating or updating drivers, including devicetree bindings, driver implementation, device API wiring, in...

GitHub

implementing-axi

pbozeman

Provides SVC-specific AXI/AXI-Lite naming conventions, signal ordering, and available modules. Triggers when implementing AXI or AXI-Lite interfaces.

GitHub

path-tactics

Arthur742Ramos

Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure calc-based proofs cleanly.

GitHub

lean-hit-development

Arthur742Ramos

Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group (pi1) calculations, implementing encode-decode proofs, or adding new topologica...

GitHub

path-tactics

Arthur742Ramos

Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure calc-based proofs cleanly.

GitHub

lean-hit-development

Arthur742Ramos

Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group (pi1) calculations, implementing encode-decode proofs, or adding new topologica...

GitHub

vulkan

OxisIndustries

Best practices and guidelines for writing modern Vulkan 1.3+ code in AstralRenderer

GitHub

create-hooks

aaronvstory

Expert guidance for creating, configuring, and using Opencode hooks. Use when working with hooks, setting up event listeners, validating commands, automating workflows, adding notifications, or understanding ho...

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é.

Plus de filtres

Popularité

Tags populaires