Topics / #type-safe

Type-safe projects on GitHub

Type-safe libraries and patterns preventing runtime errors.

As of October 17, 2026, the most-starred Type-safe projects on GitHub are DefinitelyTyped (51.4K stars), mihomo (34.9K stars) and fmt (25.9K stars). GitHub.Locker tracks 12 Type-safe repositories with 211.7K stars combined. The fastest-growing on October 16 was mihomo, with +29 stars in a day.

12Projects

211.7KStars in total

+49Stars in a day

Browse in the catalog →github.com/topics/type-safe ↗

Hot right now

Most stars gained in a day · Oct 16

+29

mihomo

MetaCubeX/mihomo · ★ 34.9K

It is a Python library built on Pydantic that models and parses the data returned by the Mihomo API for Honkai: Star Rail, giving you typed, autocomplete-friendly access to a player's parsed character and showcase info.

gdp-ts

rauchg/gdp-ts · ★ 812

gdp-ts is a tiny TypeScript library plus a linter and an AI coding-agent skill that implements the 'Ghosts of Departed Proofs' pattern, letting you catch authorization and entitlement bugs (like checking if a user can read or pay for a resource) at compile time instead of at runtime.

elysia

elysiajs/elysia · ★ 19.3K

Elysia is a TypeScript framework for building HTTP servers and APIs. It pitches end-to-end type safety and a polished developer experience, and it is built on the Bun runtime.

lila

lichess-org/lila · ★ 18.8K

Lichess (lila) is the free, adless and open source online chess server behind lichess.org, focused on realtime play and ease of use.

The all-time top

12 projects · by stars

#1 · DefinitelyTyped/DefinitelyTyped
DefinitelyTyped
DefinitelyTyped is a massive community repository that hosts TypeScript type definitions (.d.ts files) for JavaScript packages that don't ship their own types, published to npm under the @types scope.
51.4K
#2 · MetaCubeX/mihomo
mihomo
It is a Python library built on Pydantic that models and parses the data returned by the Mihomo API for Honkai: Star Rail, giving you typed, autocomplete-friendly access to a player's parsed character and showcase info.
34.9K
#3 · fmtlib/fmt
fmt
{fmt} is an open-source C++ formatting library — a fast, safe alternative to C stdio and C++ iostreams, with a format string syntax similar to Python's.
25.9K

4
elysia
19.3Kelysiajs/elysia · TypeScript
Elysia is a TypeScript framework for building HTTP servers and APIs. It pitches end-to-end type safety and a polished developer experience, and it is built on the Bun runtime.
5
lila
18.8Klichess-org/lila · Scala
Lichess (lila) is the free, adless and open source online chess server behind lichess.org, focused on realtime play and ease of use.
6
kysely
14.3Kkysely-org/kysely · TypeScript
Kysely (pronounced 'Key-Seh-Lee') is a type-safe, autocompletion-friendly SQL query builder for TypeScript, inspired by Knex.js: it checks your queries at compile time and types the results.
7
react-redux-typescript-guide
13.3Kpiotrwitek/react-redux-typescript-guide · TypeScript
A living guide collecting the most important patterns and recipes for using React and Redux in a fully type-safe way with TypeScript, favoring type inference over manual type annotations.
8
fp-ts
11.5Kgcanti/fp-ts · TypeScript
fp-ts is a library for typed functional programming in TypeScript, bringing patterns and abstractions like Option, Either, IO, Task, Functor, Applicative and Monad to TypeScript apps.
9
nuqs
10.9K47ng/nuqs · TypeScript
nuqs is a type-safe state manager for React that keeps state in the URL query string — like useState, but the value lives in the URL and survives sharing or reloading the page.
10
vanilla-extract
10.4Kvanilla-extract-css/vanilla-extract · TypeScript
vanilla-extract lets you write CSS styles in TypeScript (or JavaScript) with locally scoped class names and CSS variables, then compiles everything into static CSS files at build time with zero runtime cost.
11
gdp-ts
812rauchg/gdp-ts · TypeScript
gdp-ts is a tiny TypeScript library plus a linter and an AI coding-agent skill that implements the 'Ghosts of Departed Proofs' pattern, letting you catch authorization and entitlement bugs (like checking if a user can read or pay for a resource) at compile time instead of at runtime.
12
router
156anonrig/router · TypeScript
A from-scratch React router that keeps the TanStack Router API — same public names — but rebuilds the internals for speed: faster navigations and streaming SSR. It is a new implementation, not a fork.