home/categories/framework-internals/manutej-categorical-meta-prompting-claude-skills-hasktorch-typed-skill-md
framework-internalsdevelopment
hasktorch-typed
Hasktorch type-safe tensor operations with categorical structure preservation. Use when implementing type-safe deep learning in Haskell, leveraging dependent types for tensor shape verification, applying categorical abstractions to neural network design, or building formally verified ML pipelines with strong type guarantees.
maintainer
manutej
更新日 12/29/2025
スター
4
フォーク
1
quick start
Installation and usage
Hasktorch type-safe tensor operations with categorical structure preservation. Use when implementing type-safe deep learning in Haskell, leveraging dependent types for tensor shape verification, applying categorical abstractions to neural network design, or building formally verified ML pipelines with strong type guarantees.
インストール
$ install --globalskills.sh
使い方
インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます：
skills use hasktorch-typed