function: type-system
240 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| dry-rb/dry-validation dry-validation is a Ruby library for data validation using type-safe schemas and composable rules. It supports input coercion, nested data,… | 70 | 1422 | active |
| vultix/ts-results A TypeScript library implementing Rust's Result and Option types, bringing compile-time error checking and explicit optional values to Type… | 32 | 1407 | stable |
| HoTT/Coq-HoTT A Coq library for Homotopy Type Theory, interpreting Martin-Löf's intensional type theory into abstract homotopy theory. It provides formal… | 85 | 1403 | active |
| google/pytype Pytype is a static type analyzer for Python that checks and infers types without requiring type annotations, using inference rather than gr… | 65 | 5031 | maintenance |
| mrmckeb/typescript-plugin-css-modules A TypeScript language service plugin that provides IDE support (autocomplete, type checking, go-to-definition) for CSS Modules imports. It … | 66 | 1395 | stable |
| JetBrains/phpstorm-stubs A collection of syntactically correct PHP stub files describing the signatures, constants, and PHPDoc annotations of PHP core and standard … | 89 | 1394 | active |
| fannheyward/coc-pyright A coc.nvim extension that wraps Microsoft's Pyright static type checker and language server for Python, adding editor features like semanti… | 75 | 1360 | active |
| plantain-00/type-coverage A CLI tool that measures type coverage in TypeScript codebases by calculating the percentage of identifiers whose type is not `any`. It can… | 75 | 1350 | active |
| ucsd-progsys/liquidhaskell LiquidHaskell is a formal verification tool that brings refinement types to Haskell via a GHC plugin. It uses the Z3 SMT solver to statical… | 94 | 1332 | active |
| pschanely/CrossHair CrossHair is a Python analysis tool that verifies functions against type annotations and contracts using symbolic execution backed by an SM… | 98 | 1317 | active |
| roblox-ts/roblox-ts roblox-ts is a TypeScript-to-Luau compiler that lets developers write Roblox game code in TypeScript and transpiles it into functionally eq… | 65 | 1291 | active |
| facebook/prop-types A JavaScript library for runtime type checking of React component props and similar objects. It lets developers document expected property … | 10 | 4448 | maintenance |
| gustavoguichard/string-ts A TypeScript library providing common string manipulation functions (like replace, camelCase, deepCamelKeys) that preserve literal string t… | 67 | 1257 | active |
| michaelbull/kotlin-result A Kotlin multiplatform library providing a Result monad for modelling success or failure operations without exceptions. It supports Ok/Err … | 86 | 1255 | active |
| iliekturtles/uom uom is a Rust crate providing type-safe, zero-cost dimensional analysis with a pre-built International System of Units (SI) and support for… | 58 | 1254 | stable |
| vuedx/languagetools VueDX is a collection of tools for improving the Vue.js developer experience, including a VS Code extension providing language features, sy… | 23 | 1254 | active |
| google/schema-dts schema-dts provides TypeScript type definitions for the Schema.org vocabulary in JSON-LD format, exposed as discriminated type unions for a… | 76 | 1236 | active |
| idanarye/rust-typed-builder A Rust proc-macro crate that derives a compile-time type-checked builder pattern for structs. It enforces at compile time that all mandator… | 83 | 1201 | active |
| benjamn/ast-types A TypeScript library providing an Esprima-compatible implementation of the Mozilla JS Parser API abstract syntax tree type hierarchy. It of… | 100 | 1173 | stable |
| kristiandupont/kanel Kanel is a code generation tool that connects to a live PostgreSQL database and generates TypeScript types (plus optional Zod schemas) from… | 67 | 1173 | active |
| open-circle/formisch Formisch is a lightweight, schema-first, fully type-safe headless form library for JavaScript frameworks including React, Solid, Vue, Svelt… | 82 | 1165 | active |
| typetools/checker-framework The Checker Framework is a framework for pluggable type-checking in Java, enhancing Java's type system to detect and prevent bugs like null… | 100 | 1149 | stable |
| hazelgrove/hazel Hazel is a web-based live functional programming environment for an Elm/ML-like language built around typed holes, allowing typechecking, e… | 68 | 1142 | active |
| jspecify/jspecify JSpecify is a standard, tool-neutral set of Java annotations with precisely specified semantics for powering static analysis, currently foc… | 87 | 1137 | stable |
| Quramy/typed-css-modules A CLI tool that generates TypeScript .d.ts declaration files from CSS Modules .css files, enabling type-safe imports of class names and val… | 67 | 1134 | active |
| cornucopia-rs/cornucopia Cornucopia is a Rust code generator that produces type-checked Rust interfaces from PostgreSQL queries. It validates queries against a live… | 95 | 1130 | active |
| flow-typed/flow-typed A central repository of high-quality third-party Flow library type definitions (libdefs), plus a CLI tool to install and manage them in Flo… | 78 | 3757 | maintenance |
| Frege/frege Frege is a purely functional programming language for the JVM that is essentially Haskell, featuring a strong static type system with globa… | 64 | 3713 | maintenance |
| pointfreeco/swift-case-paths CasePaths is a Swift library that extends the key path hierarchy to enum cases, enabling generic inspection and modification of enum case d… | 96 | 1050 | stable |
| idris-lang/Idris-dev Idris 1 is a general-purpose functional programming language with full dependent types, implemented in Haskell, supporting type-driven deve… | 10 | 3479 | maintenance |
| graphql-nexus/nexus GraphQL Nexus is a declarative, code-first library for building strongly typed GraphQL schemas in TypeScript and JavaScript. It layers an e… | 23 | 3430 | maintenance |
| syntax-tree/unist unist is a specification for universal syntax trees that can represent abstract and concrete syntax trees for code, markup, and natural lan… | 61 | 1010 | stable |
| vekatze/neut Neut is a functional programming language with static, type-directed memory management that compiles to LLVM IR and native binaries. It off… | 94 | 1008 | active |
| typelift/Swiftz Swiftz is a Swift library for functional programming that provides functional data structures, typeclasses, and idioms like Lists, Arrows, … | 23 | 3318 | maintenance |
| reasonml/reason-react ReasonReact provides typed Reason language bindings for ReactJS, letting you write React components with Reason's type system while remaini… | 72 | 3263 | maintenance |
| mtshiba/pylyzer Pylyzer is a fast static code analyzer and language server for Python, written in Rust, offering type checking and rich LSP features like c… | 42 | 2859 | maintenance |
| dethcrypto/TypeChain TypeChain generates TypeScript bindings from Ethereum smart contract ABIs, giving statically typed access to contract methods and events. I… | 23 | 2792 | maintenance |
| myclabs/php-enum A small PHP library providing an Enum base class, inspired by SplEnum, for PHP versions lacking native enums. It lets developers define enu… | 26 | 2722 | maintenance |
| schematics/schematics Schematics is a Python library for defining typed data structures, validating them, and converting data between formats like JSON or MsgPac… | 32 | 2587 | maintenance |
| antitypical/Result A Swift microframework providing a Result<Value, Error> type that models operations as either success or failure, similar to Optional but w… | 23 | 2490 | maintenance |
| microsoft/dts-gen dts-gen is a CLI tool that generates starter TypeScript definition (.d.ts) files for any JavaScript module or library by inspecting its run… | 10 | 2417 | maintenance |
| piotrwitek/typesafe-actions A TypeScript utility library providing typesafe helpers for creating action creators, async actions, and reducers in Redux/Flux architectur… | 59 | 2402 | maintenance |
| rust-lang/chalk Chalk is a Rust library that implements the Rust trait system using a Prolog-like logic solver, converting trait and impl information into … | 52 | 2010 | maintenance |
| gcanti/tcomb tcomb is a lightweight JavaScript library for runtime type checking of values with a concise combinator-based syntax, supporting structs, l… | 10 | 1879 | maintenance |
| cincheo/jsweet JSweet is a Java-to-JavaScript transpiler that compiles Java source code to TypeScript and JavaScript, leveraging javac and tsc for type-ch… | 23 | 1490 | maintenance |
| patrick-kidger/torchtyping A Python library providing type annotations for PyTorch tensors' shape, dtype, layout, and dimension names, with optional runtime checking … | 41 | 1482 | maintenance |
| alpaca-lang/alpaca Alpaca is a statically typed, eagerly evaluated functional programming language for the Erlang VM (BEAM), inspired by ML and featuring Hind… | 23 | 1466 | maintenance |
| egonSchiele/contracts.ruby contracts.ruby is a Ruby library for design-by-contract programming, letting you declare one-line contracts above methods that validate arg… | 75 | 1457 | maintenance |
| dropbox/pyannotate PyAnnotate auto-generates PEP-484 type annotations for Python code by collecting argument and return types observed at runtime, then insert… | 73 | 1442 | maintenance |
| improbable-eng/ts-protoc-gen A protoc plugin that generates TypeScript declaration files (.d.ts) matching the JavaScript output of protoc's CommonJS mode. It can also e… | 51 | 1395 | maintenance |
| clojure/core.typed core.typed is an optional (gradual) type system for Clojure, provided as a library with a static type checker and runtime dependencies. It … | 59 | 1314 | maintenance |
| gajus/eslint-plugin-flowtype An ESLint plugin providing linting rules for Flow static type annotations in JavaScript. It enforces style and correctness conventions for … | 23 | 1069 | maintenance |
| dreymonde/Time A Swift micro-library providing strongly-typed time intervals (e.g. Interval<Minute>) so durations like 10.minutes are type-safe and unit-a… | 23 | 1063 | maintenance |
| SweetIQ/schemats Schemats is a CLI tool that automatically generates TypeScript interface definitions from Postgres or MySQL database schemas. It introspect… | 23 | 1061 | maintenance |
| facebook/fatal Fatal (Facebook Template Library) is a header-only C++14 library for fast software prototyping, built heavily on template meta-programming … | 95 | 1017 | maintenance |
| codemix/ts-sql A SQL database implemented entirely in TypeScript type annotations, operating purely at the type level with no runtime code. It supports a … | 32 | 3301 | experimental |
| kaleidawave/ezno Ezno is an experimental TypeScript/JavaScript type checker and compiler written in Rust, usable as a CLI or library. It features a sound im… | 61 | 2735 | experimental |
| marcj/TypeRunner TypeRunner is a high-performance TypeScript type checker written in C++ that compiles TypeScript to bytecode and executes it in a custom vi… | 37 | 2657 | experimental |
| jfecher/ante Ante is a low-level functional systems programming language exploring safe shared mutability, algebraic effect handlers, ownership/borrowin… | 67 | 2335 | experimental |
| mypyc/mypyc Mypyc is a compiler that translates type-annotated Python modules into fast C extensions, using mypy for type checking and inference. It po… | 32 | 2019 | experimental |
| alshdavid-public/BorrowScript BorrowScript is an experimental programming language that combines TypeScript-like syntax with a Rust-style borrow checker, compiled to sma… | 32 | 1456 | experimental |
| lexi-lambda/hackett Hackett is an experimental, statically typed, pure, lazy functional programming language implemented as a Racket #lang, combining Haskell-s… | 32 | 1205 | experimental |
| zubanls/zuban Zuban is a high-performance Python type checker and Language Server written in Rust by the author of Jedi. It offers a Pyright-like checkin… | 90 | 1175 | experimental |
| ericelliott/rtype Rtype is a structural type notation for JavaScript with a TypeScript-inspired syntax, designed primarily for API documentation and embeddab… | 32 | 1120 | experimental |
| rikukissa/typehole Typehole is a Visual Studio Code extension that automatically generates TypeScript interfaces from runtime values. It bridges serializable … | 23 | 1049 | experimental |
| facebook/pyre-check Pyre is a performant, PEP 484-compliant static type checker for Python that provides incremental checking of large codebases, and it ships … | 10 | 7170 | abandoned |
| vuejs/vue-class-component An ES/TypeScript decorator library enabling class-style Vue components. It is officially deprecated and no longer maintained, with Vue 3 re… | 43 | 5754 | abandoned |
| dudykr/stc stc is a TypeScript type checker written in Rust, aiming to be a much faster alternative to tsc while matching its behavior. The project is… | 10 | 5714 | abandoned |
| kaorun343/vue-property-decorator A TypeScript library providing property decorators (@Prop, @Watch, @Emit, etc.) for writing Vue.js components as ES classes, built on top o… | 10 | 5468 | abandoned |
| typings/typings Typings is a CLI package manager for installing and managing TypeScript type definition files. It is deprecated in favor of npm's @types pa… | 10 | 3358 | abandoned |
| MichiganTypeScript/typescript-types-only-wasm-runtime A WebAssembly runtime implemented entirely in TypeScript's type system, with no JavaScript runtime code, capable of compiling and executing… | 32 | 2404 | abandoned |
| JSMonk/hegel Hegel is an advanced static type checker for JavaScript with optional type annotations, strong soundness checks, powerful type inference, a… | 10 | 2082 | abandoned |
| bodil/typed-html A Rust crate providing an html! macro for building fully type-checked HTML documents using JSX-compatible syntax. It validates HTML5 tags, … | 10 | 1851 | abandoned |
| rustedpy/result A Python library providing a Rust-like Result type (Ok/Err) for explicit error handling, fully type annotated for mypy and type checkers. T… | 10 | 1680 | abandoned |
| clipperhouse/gen gen is a command-line code generation tool for Go that provides generics-like functionality by generating typed methods (LINQ/underscore-in… | 23 | 1424 | abandoned |
| mbebenita/LLJS LLJS is a typed dialect of JavaScript with a C-like type system and manual memory management, compiled to plain JavaScript via the ljc comp… | 32 | 1177 | abandoned |
| wende/elchemy Elchemy is a transpiler that lets you write Elixir code using Elm's statically-typed syntax, compiling to idiomatic, readable Elixir that r… | 10 | 1150 | abandoned |
| TypeStrong/atom-typescript A TypeScript language plugin for the Atom editor providing autocomplete, live error analysis, type info on hover, and compile-on-save via t… | 23 | 1125 | abandoned |
| mockdeep/typewiz TypeWiz is a TypeScript tool that monitors variable types at runtime and automatically inserts missing type annotations into your source co… | 10 | 1104 | abandoned |
| tRPC tRPC is a TypeScript library for building and consuming fully typesafe APIs without schemas or code generation, leveraging TypeScript type … | 95 | 40548 | stable |
| t3-oss/create-t3-app create-t3-app is an interactive CLI scaffolding tool that generates a full-stack, typesafe Next.js application using the T3 Stack. It lets … | 65 | 29101 | active |
| gleam-lang/gleam Gleam is a statically typed, functional programming language that compiles to Erlang and runs on the BEAM virtual machine. It ships with a … | 98 | 21827 | active |
| facebook/relay Relay is a JavaScript framework and GraphQL client for building data-driven React applications, where components declaratively declare thei… | 90 | 18957 | stable |
| facebook/hhvm HHVM is an open-source virtual machine with a just-in-time (JIT) compiler for executing programs written in the Hack programming language. … | 67 | 18655 | active |
| phpstan/phpstan PHPStan is an open-source static analysis tool for PHP that discovers bugs in code without running it. It understands PHPDocs, supports gen… | 95 | 14082 | stable |
| Dart The Dart SDK is the open-source toolkit for the Dart programming language, including the Dart VM with JIT and AOT compilation, JavaScript a… | 77 | 11268 | stable |
| BoundaryML/baml BAML is a domain-specific programming language for building LLM agents, with a Rust-like type system, typed errors, built-in tests/evals, a… | 90 | 9078 | active |
| Lean Theorem Prover Lean 4 is an open-source dependently typed functional programming language and interactive theorem prover used for formalizing mathematics … | 99 | 8913 | active |
| HaxeFoundation/haxe Haxe is an open-source, high-level, strictly typed programming language and cross-compiler toolkit that compiles to many targets including … | 67 | 6918 | stable |
| joe-bell/cva Class Variance Authority (cva) is a tiny TypeScript library for building type-safe, variant-driven class names for UI components, with firs… | 67 | 6880 | stable |
| elixir-ecto/ecto Ecto is a toolkit for data mapping and language-integrated queries in Elixir, providing schemas, changesets, and a composable query DSL. It… | 67 | 6487 | stable |
| ponylang/ponyc ponyc is the compiler for Pony, an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language th… | 99 | 6173 | active |
| luau-lang/luau Luau is a fast, small, gradually typed scripting language derived from Lua 5.1, designed to be embedded in applications with a sandboxed ru… | 95 | 5805 | active |
| aidlearning/AidLearning-FrameWork AidLux (originally AidLearning) is an AIoT development platform that runs a native Ubuntu Linux environment with GUI, deep learning tooling… | 70 | 5797 | active |
| strawberry-graphql/strawberry Strawberry is a developer-friendly GraphQL library for Python built on dataclasses and type hints. It lets you define GraphQL schemas with … | 94 | 4706 | active |
| LuaLS/lua-language-server A Language Server Protocol implementation for Lua, written in Lua, providing features like autocompletion, type checking, diagnostics, form… | 98 | 4347 | stable |
| dotnet/fsharp The official open-source F# compiler, F# core library (FSharp.Core), and F# language service, including tooling integration for Visual Stud… | 74 | 4323 | stable |
| mint-lang/mint Mint is a programming language that compiles to JavaScript, designed specifically for building front-end web applications. It provides buil… | 96 | 4266 | active |
| upstash/jstack JStack is a lightweight, end-to-end typesafe framework for building fast Next.js 15 applications, built on Hono, Tailwind, and Drizzle ORM.… | 31 | 3751 | active |
| dafny-lang/dafny Dafny is a verification-aware programming language with native support for writing specifications and a built-in static verifier powered by… | 76 | 3516 | active |