type-safe

Star

Here are 574 public repositories matching this topic...

Language:All

Filter by language

All574 TypeScript252 Swift46 Python42 Go38 Rust22 C++18 Kotlin18 Java15 C#13 PHP13

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

lichess-org /lila

Star17.8k

♞ lichess.org: the forever free, adless and open source chess server ♞

game typescript chess scala functional-programming play-framework free-software type-safe non-profit lichess

UpdatedFeb 20, 2026
Scala

kysely-org /kysely

Star13.5k

A type-safe TypeScript SQL query builder

nodejs mysql typescript browser sql database sqlite postgresql microsoft-sql-server type-safe query-builder mssql bun deno

UpdatedFeb 15, 2026
TypeScript

47ng /nuqs

Star10.1k

Type-safe search params state manager for React frameworks - Like useState, but stored in the URL query string.

react state-management type-safe type-safety url-parameters query-params url-params search-params url-state

UpdatedFeb 9, 2026
TypeScript

open-circle /valibot

Star8.4k

The modular and type safe schema library for validating structural data 🤖

modular typescript schema validation parsing runtime type-safe bundle-size

UpdatedFeb 19, 2026
TypeScript

ariebovenberg /whenever

Star2.3k

⏰ Modern datetime library for Python

python rust datetime cpython type-safe utc pypy utc-offsets pure-python timezones mypy rfc3339

UpdatedFeb 20, 2026
Python

softwaremill /tapir

Star1.5k

Rapid development of self-documenting APIs

http documentation scala akka akka-http functional-programming declarative http4s http-client openapi play-framework http-requests http-server type-safe observability sttp zio

UpdatedFeb 20, 2026
Scala

fabian-hiller /modular-forms

Sponsor

Star1.2k

The modular and type-safe form library for SolidJS, Qwik and Preact

performance typescript validation preact solid forms form form-validation signals type-safe bundle-size qwik

UpdatedJan 18, 2026
TypeScript

leostera /caramel

Sponsor

Star1.1k

🍬 a functional language for building type-safe, scalable, and maintainable applications

erlang elixir compiler ocaml type-safe functional-language caramel

UpdatedSep 25, 2023
OCaml

typesafegithub /github-workflows-kt

Star644

Authoring GitHub Actions workflows in Kotlin. You won't go back to YAML!

github kotlin devops library ci dsl type-safe kotlin-script cicd workflows github-actions

UpdatedFeb 18, 2026
Kotlin

stacksjs /stacks

Star611

Modern full-stack framework. Develop powerful apps, clouds & framework-agnostic libraries—faster.

library cloud mobile framework typescript web apps desktop type-safe progressive stacks

UpdatedFeb 20, 2026
TypeScript

LeoVen /C-Macro-Collections

Star592

Easy to use, modular, header only, macro based, generic and type-safe Data Structures in C

c list library data-structure stack queue datastructures containers data-structures hashmap multiset type-safe heap linkedlist deque multimap datastructure

UpdatedJun 26, 2024
C

fable-hub /Feliz

Star590

A fresh retake of the React API in Fable and a collection of high-quality components to build React applications in F#, optimized for happiness

react html fsharp fable dsl type-safe feliz elmish-applications

UpdatedJan 1, 2026
F#

kitojs /kito

Star568

🐺 The high-performance, type-safe and modern TypeScript web framework written in Rust.

nodejs javascript http express framework typescript web backend type-safe webframework bun deno

UpdatedJan 4, 2026
TypeScript

coi /coi

Star522

Coi: A type-safe, component-based language for building high-performance web apps with WASM and fine-grained reactivity.

programming-language web-development frontend compiler webassembly wasm type-safe reactivity coi reactive-ui fine-grained-reactivity coi-lang deterministic-performance

UpdatedFeb 20, 2026
C++

p-ranav /structopt

Star507

Parse command line arguments by defining a struct

lightweight library reflection cross-platform command-line argument-parser arguments modern-cpp header-only type-safe cpp17 argparse mit-license type-safety clap single-header-lib structopt header-library visit-struct-library magic-enum

UpdatedOct 27, 2024
C++

mpollmeier /gremlin-scala

Star483

[unmaintained] Scala wrapper for Apache TinkerPop 3 Graph DSL

scala graph type-safe graph-database gremlin graphdb

UpdatedOct 20, 2022
Scala

letstri /permix

Sponsor

Star476

🔒 Permix is a lightweight, framework-agnostic, type-safe permissions management library for TypeScript applications on the client and server sides.

security typescript permissions type-safe

UpdatedDec 3, 2025
TypeScript

vmanot /SwiftDB

Star345

A modern database abstraction layer + runtime, batteries included [WIP].

swift wrapper sql database runtime dsl coredata type-safe attribute core-data relationship codable swiftui property-wrapper

UpdatedAug 6, 2025
Swift

japgolly /scalacss

Star339

Super type-safe CSS for Scala and Scala.JS.

css scala scalajs type-safe type-safety scalatags scalajs-react

UpdatedAug 12, 2024
Scala

codpro2005 /ts-regexp

Star324

A RegExp wrapper providing stronger type safety.

typescript regex regexp regular-expression type-safe type-level

UpdatedDec 7, 2025
TypeScript

Improve this page

Add a description, image, and links to thetype-safe topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thetype-safe topic, visit your repo's landing page and select "manage topics."

Learn more

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

type-safe

Here are 574 public repositories matching this topic...

lichess-org /lila

kysely-org /kysely

47ng /nuqs

open-circle /valibot

ariebovenberg /whenever

softwaremill /tapir

fabian-hiller /modular-forms

leostera /caramel

typesafegithub /github-workflows-kt

stacksjs /stacks

LeoVen /C-Macro-Collections

fable-hub /Feliz

kitojs /kito

coi /coi

p-ranav /structopt

mpollmeier /gremlin-scala

letstri /permix

vmanot /SwiftDB

japgolly /scalacss

codpro2005 /ts-regexp

Improve this page

Add this topic to your repo