Explore Projects
Discover 12 open source projects
Showing 1-12 of 12 projects
facebook/pyre-check
Performant type-checking for Python, built with OCaml, focused on code quality, security, and static analysis.
millsp/ts-toolbelt
A comprehensive TypeScript utility library that provides type-safe and dynamic type tools for developers.
facebook/pyrefly
A fast type checker and language server for Python, built in Rust with a focus on code quality.
sindresorhus/ow
A TypeScript library for validating function arguments with a clean and expressive API.
explosion/thinc
A refreshing functional take on deep learning, compatible with popular ML libraries like TensorFlow and PyTorch.
microsoft/TypeScript-Babel-Starter
A starter project for building TypeScript applications with Babel and modern JavaScript tooling.
bodil/typed-html
A type-checked JSX implementation for Rust that enables building web applications using a familiar React-like syntax.
sindresorhus/is
A type-checking utility library for JavaScript that helps developers write more reliable code.
fi3ework/vite-plugin-checker
A Vite plugin that provides type-checking, linting, and other development tools for Vue.js projects.
idanarye/rust-typed-builder
A Rust library that provides a type-checked builder derive for compile-time builder construction.
typetools/checker-framework
A pluggable type-checking tool for Java that helps catch bugs and enforce code correctness.
cornucopia-rs/cornucopia
Generate type-checked Rust from your PostgreSQL database using this library.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.