#Type-safe

Showing 25 of 25 repositories tagged #type-safe, ranked by stars

lichess-org
lichess-org
lila

β™ž lichess.org: the forever free, adless and open source chess server β™ž

Score
100
β˜… 18.4k β‘‚ 2.7k +7/day
Scala
kysely-org
kysely-org
kysely

A type-safe TypeScript SQL query builder

Score
88
β˜… 14.0k β‘‚ 421 +14/day
TypeScript
47ng
47ng
nuqs

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

Score
75
β˜… 10.7k β‘‚ 285 +2/day
TypeScript
open-circle
open-circle
valibot

The modular and type safe schema library for validating structural data πŸ€–

Score
62
β˜… 8.8k β‘‚ 355 +5/day
TypeScript
ariebovenberg
ariebovenberg
whenever

⏰ Modern datetime library for Python

Score
100
β˜… 2.4k β‘‚ 35 +1/day
Python
open-circle
open-circle
formisch

The lightweight, schema-first, and fully type-safe form library for React, Solid, Vue, Svelte and more.

Score
50
β˜… 1.0k β‘‚ 31 +14/day
TypeScript
typesafegithub
typesafegithub
github-workflows-kt

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

Score
100
β˜… 655 β‘‚ 28 β€”
Kotlin
fable-hub
fable-hub
Feliz

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

Score
38
β˜… 611 β‘‚ 93 +1/day
F#
letstri
letstri
permix

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

Score
0
β˜… 585 β‘‚ 12 +2/day
TypeScript
kitojs
kitojs
kito

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

Score
12
β˜… 569 β‘‚ 20 β€”
TypeScript
coi
coi
coi

A type-safe, component-based language for building reactive WASM web apps.

Score
25
β˜… 559 β‘‚ 12 β€”
C++
simerplaha
simerplaha
SwayDB

Persistent and in-memory key-value storage engine for JVM that scales on a single machine.

Score
25
β˜… 297 β‘‚ 17 +1/day
Scala
felipebarcelospro
felipebarcelospro
igniter-js

Igniter is a modern, type-safe HTTP framework designed to streamline the development of scalable TypeScript applications.

Score
0
β˜… 241 β‘‚ 20 β€”
TypeScript
nstack
nstack
nstack

Type-safe, composable microservices for data analytics

Score
100
β˜… 221 β‘‚ 13 β€”
Haskell
withceleste
withceleste
celeste-python

Open source, type-safe primitives for multi-modal AI. All modelities, all providers, one interface 🌟

Score
0
β˜… 217 β‘‚ 23 β€”
Python
stackus
stackus
goht

A Haml, Slim, and EGO template engine for Go

Score
100
β˜… 127 β‘‚ 3 β€”
Go
mikestefanello
mikestefanello
hooks

Simple, type-safe hook system to enable easier modularization of your Go code.

Score
0
β˜… 97 β‘‚ 3 β€”
Go
rust-codegen-group
rust-codegen-group
openapi-nexus

OpenAPI 3.x code generator for deterministic, type-safe SDKs and API tooling across languages and runtimes.

Score
50
β˜… 97 β‘‚ 0 β€”
Rust
harmont-dev
harmont-dev
hsrs

Type-safe Haskell Rust Bindings

Score
0
β˜… 80 β‘‚ 1 +1/day
Rust
sgr-ksmt
sgr-ksmt
Lobster

🦐 Type-safe Firebase-RemoteConfig helper library 🦐

Score
0
β˜… 77 β‘‚ 6 β€”
Swift
vstorm-co
vstorm-co
pydantic-ai-shields

Guardrail capabilities for Pydantic AI β€” cost tracking, prompt injection detection, PII filtering, secret redaction, tool permissions, and async guardrails. Built on pydantic-ai's native capabilities API.

Score
0
β˜… 77 β‘‚ 10 +3/day
Python
neothXT
neothXT
Snowdrop

Networking made easy

Score
50
β˜… 75 β‘‚ 7 β€”
Swift
mobiletoly
mobiletoly
sqlitenow-kmp

SQLiteNow - Build type-safe APIs from SQLite (Kotlin, Dart)

Score
75
β˜… 59 β‘‚ 0 +59/day
Kotlin
Shmew
Shmew
Feliz.Plotly

Fable bindings written in the Feliz-style for plotly.js.

Score
0
β˜… 54 β‘‚ 11 β€”
F#
pixel-foundry
pixel-foundry
alpaca-swift

Swift client for Alpaca’s trade API (incomplete)

Score
0
β˜… 13 β‘‚ 3 β€”
Swift
Related Topics
#typescript#react#python#dsl#kotlin#swift#scala#bun#database#deno#nodejs#sql

Β© 2026 GitRepoTrend Β· GitHub repositories by topic Β· Updated weekly