hasktorch-typed
CommunityType-safe tensors and verified ML in Haskell.
Software Engineering#type-safety#haskell#neural-networks#dependent-types#category-theory#typed-tensors#Torch.Typed
Authormanutej
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Traditional tensor operations in Haskell lack compile-time shape guarantees, making dimensional errors run-time hazards during model development.
Core Features & Use Cases
- Type-safe tensors: shapes encoded in types to prevent mismatches.
- Categorically structured networks: compose layers with preserved abstractions for safer designs.
- Formal verification benefits: enables dependent types and rigorous ML pipelines in Haskell.
Quick Start
Install hasktorch and Torch.Typed, import the typed tensor APIs, and begin building models with type-checked shapes.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: hasktorch-typed Download link: https://github.com/manutej/categorical-meta-prompting/archive/main.zip#hasktorch-typed Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.