jpablo/vibe-types

Multi-language guide to type-safety techniques. What each type system feature enforces, across Python, Rust, Scala 3, and Lean 4. Installable as a Claude Code plugin.

42Stars on the repository
9Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown

vibe-types

02

jpablo/vibe-types

Plugin Claude Code

Type system constraint guides for Python, Rust, Scala 3, Lean 4, and TypeScript — maps language features to the constraints they enforce at check/compile time.

42 1mo ago A tokens not measured original Apache-2.0