Explore Projects
Discover 12 open source projects
Showing 1-12 of 12 projects
microsoft/TypeScript
TypeScript adds optional types to JavaScript for large-scale applications.
facebook/flow
Static typechecker for JavaScript to improve code quality and productivity
python/mypy
Static type checker for Python
arktypeio/arktype
A TypeScript library for runtime type validation, optimized for editor-to-runtime performance.
google/closure-compiler
A powerful JavaScript checker and optimizer that helps developers write high-performance, type-safe code.
facebook/pyre-check
Performant type-checking for Python, built with OCaml, focused on code quality, security, and static analysis.
facebook/pyrefly
A fast type checker and language server for Python, built in Rust with a focus on code quality.
kaleidawave/ezno
A fast, correct TypeScript type checker and compiler with additional experiments, built in Rust.
nalexn/ViewInspector
A runtime introspection and unit testing library for SwiftUI views, enabling developers to test their UI components efficiently.
swc-project/swc-node
A faster alternative to ts-node that doesn't require type checking, optimized for AI-focused developers.
rustedpy/result
A simple Rust-like Result type for Python 3 with full type annotations for type safety.
soutaro/steep
Static type checker for Ruby that helps developers catch type errors at compile-time.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.