manutej AI Skills

GitHub ↗

浏览 manutej 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。

作者统计

已收录技能

99

收录技能的仓库 Stars 合计

2,766

仓库 Forks

527

平均每个技能的仓库 Stars

28

同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。

全部技能

MAGitHub

elm-development

manutej

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

☆ 0查看技能 ↗

MAGitHub

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

☆ 0查看技能 ↗

MAGitHub

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

☆ 0查看技能 ↗

默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。