TopRank Skills
FR
English 简体中文 français

Rechercher

PythonReactSEOPDF

manutej AI Skills

GitHub ↗

Explorez les skills IA publiés de manutej et consultez leurs instructions source.

Statistiques de l’auteur

Skills indexés

99

Étoiles des dépôts des skills indexés

2,766

Forks du dépôt

527

Moyenne des étoiles par skill indexé

28

Les étoiles d’un dépôt peuvent se répéter entre ses skills.

Catégories populaires

tools llm ai23devops llm ai23testing security llm ai23documentation llm ai23content media llm ai23research llm ai23

Indexation récente

terraform-infrastructure2026-01-21aws-cloud-architecture2026-01-21aws-cloud-services2026-01-21terraform-infrastructure-as-code2026-01-21sqlalchemy-orm-expert2026-01-21

99 skills

Explorer

GitHub

elm-development

manutej

Comprehensive Elm functional programming for web development including The Elm Architecture, type system, JavaScript interop, and production-ready patterns

☆ 0Voir le skill
GitHub

purify

manutej

Master the Purify library for practical functional programming in TypeScript with algebraic data types (Maybe, Either, EitherAsync, MaybeAsync), composable error handling, data transformations, Codec for runtim...

☆ 0Voir le skill
GitHub

fstar-verification

manutej

Comprehensive F* proof-oriented programming for formal verification including dependent types, refinement types, effect system, SMT solver integration, tactic-based interactive theorem proving, and verified cod...

☆ 0Voir le skill

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