typesafe

There are 2 repositories under typesafe topic.

lo
samber / lo
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
lodash golang go generics contract constraints functional programming typesafe filterable foldable
Language:Go 16862
router
TanStack / router
🤖 Fully typesafe Router for React (and friends) w/ built-in caching, 1st class search-param APIs, client-side cache integration and isomorphic rendering.
javascript location params preact react route router routing search searchparams state-management typesafe typescript url
Language:TypeScript 7617
open-saas
wasp-lang / open-saas
A free, open-source SaaS app starter for React & Node.js with superpowers. Production-ready. Community-driven.
ai authentication aws-s3 boilerplate chatgpt full-stack google-auth kit nodejs open-source openai-api postgresql prisma react saas saas-boilerplate saas-starter saas-template typesafe typescript
Language:TypeScript 6910
http4k / http4k
The Functional toolkit for Kotlin HTTP applications. http4k provides a simple and uniform way to serve, consume, and test HTTP services.
http http-client http-server http4k immutability kotlin tdd testability typesafe
Language:Kotlin 2593
samber / mo
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
cats either fp functional future generics go golang io maybe monad monoid option optional programming result state task typesafe
Language:Go 2540
go-jet / jet
Type safe SQL builder with code generation and automatic query result data mapping
golang sql sqlbuilder postgresql code-generator database sql-query sql-query-builder postgres typesafe codegenerator typesafety mysql mariadb sql-queries sql-builder code-completion datamapper sqlite cockroachdb
Language:Go 2336
TheEdoRan / next-safe-action
Type safe and validated Server Actions in your Next.js (App Router) project.
actions app-dir mutations next next-actions nextjs react react-actions react-server-components rsc server-actions server-components typesafe typescript zod
Language:TypeScript 1881
samber / do
⚙️ A dependency injection toolkit based on Go 1.18+ Generics.
di go golang container dependency dependency-graph generics graceful-shutdown healthcheck injection injector invoke ioc lifecycle provide service typesafe
Language:Go 1768
bcherny / undux
⚡️ Dead simple state for React. Now with Hooks support.
flux react redux typesafe typescript
Language:TypeScript 1493
strictyaml
crdoconnor / strictyaml
Type-safe YAML parser and validator.
yaml parser python python3 strict-types strict strongly-typed roundtrip roundtripping typesafe serialization yml yaml-parser yaml-emitter config configuration configuration-file configuration-management schema validation
Language:Python 1450
epicweb-dev / cachified
🤑 wrap virtually everything that can store by key to act as cache with ttl/max-age, stale-while-validate, parallel fetch protection and type-safety support
cache stale-while-revalidate throttling ttl-cache typesafe
Language:TypeScript 902
damianricobelli / stepperize
A library for creating step-by-step workflows in your apps
primitive react react-native shadcn-ui stepper typesafe
Language:TypeScript 774
jirfag / go-queryset
100% type-safe ORM for Go (Golang) with code generation and MySQL, PostgreSQL, Sqlite3, SQL Server support. GORM under the hood.
golang orm typesafe codegenerator gorm queryset go
Language:Go 727
html
kitajs / html
🏛️ Super fast JSX runtime to generate HTML strings that works everywhere. If it supports string we got you covered.
generator html jsx safe tsx type typesafe typescript
Language:HTML 553
badrap / valita
A typesafe validation & parsing library for TypeScript.
typescript input-validation javascript typesafe validation-library deno nodejs bun
Language:TypeScript 343
bridge
bridge-codes / bridge
Bridge is a Typescript Node.js framework that provides an easy and scalable way to create REST APIs while generating the client code. Our goal is to make Bridge a great framework for both frontend and backend teams, so if you're familiar with Node.js and Typescript, you'll feel right at home.
api express typesafe expressjs nodejs rest-api
Language:TypeScript 330
chaos
chaos-lang / chaos
The Chaos Programming Language
programming-language immutability functional typesafe chaos chaos-language procedural cyclomatic-complexity
Language:C 278
jscheiny / safe-units
Type-safe TypeScript units of measure 👷📏
typescript typesafe dimensional-analysis units-of-measure units
Language:TypeScript 261
specta-rs / specta
Easily export your Rust types to other languages
rust specta typescript reflection rust-macro typesafe rspc tauri-specta
Language:Rust 240
TheLartians / modern-wasm-starter
🛸 Run C++ code on web and create blazingly fast websites! A starter template to easily create WebAssembly packages using type-safe C++ bindings with automatic TypeScript declarations.
c-plus-plus cpp webassembly wasm npm package modern cmake emscripten embind glue typescript declarations typesafe starter tests asmjs javascript webpack
Language:TypeScript 236
michaelolof / vuex-class-component
A Type Safe Vuex Module or Store Using ES6 Classes and ES7 Decorators written in TypeScript.
es7-decorators typesafe typesafe-vuex typescript vue-state-manager vuex vuex-class vuex-class-component vuex-manager vuex-modules vuex-store vuex-ts vuex-typescript
Language:TypeScript 219
kiwicom / navigation-compose-typed
Type-safe arguments for Jetpack Navigation Compose using Kotlinx.Serialization
kotlin android-library arguments jetpack-compose kotlin-library safeargs typesafe kotlinx-serialization-library jetpack-navigation-compose
Language:Kotlin 217
malcommac / FlowKit
A declarative type-safe framework for building fast and flexible list with Tables & Collection
declarative uitableview uicollectionview typesafe autolayout typesafety datasource delegate
Language:Swift 211
wsporto / typesql
TypeSQL - Generate Typescript API from raw SQL. Supports MySQL, Sqlite and LibSQL (Turso)
sql mysql node deno typescript typesafe raw-sql sqlite
Language:TypeScript 190
pheymann / typedapi
Build your web API on the type level.
api typelevel shapeless scala typesafe servant
Language:Scala 161
rocketrpc
akash-joshi / rocketrpc
A typesafe framework to destroy client-server barriers.
frontend rpc typesafe typescript javascript websockets promise typescript-generics nodejs
Language:TypeScript 158
xmlet / HtmlFlow
HtmlFlow Java DSL to write typesafe HTML
dsl java fluent-api typesafe
Language:Java 147
trutoo / event-bus
Typesafe cross-platform pubsub event bus ensuring reliable communication between fragments and micro frontends.
event-communication fragments typesafe pubsub micro-frontends
Language:TypeScript 143
redpangilinan / next-entree
Next.js 14+ starter template with app router, shadcn/ui, typesafe env, icons, and configs setup.
next-14 next-app-router next-appdir next-js next-js-14 next-starter next-starter-template nextjs prettier radix-ui shadcn-ui starter-template tailwind tailwindcss typesafe typescript next-boilerplate nextjs14 react
Language:TypeScript 123
dandoh / web-haskell-graphql-postgres-boilerplate
Modern webserver in Haskell: Graphql + Postgresql + Authentication + DB migration + Dotenv and more
haskell graphql graphql-server postgresql opaleye morpheus typesafe scotty dbmate migration jwt jwt-authentication graphql-api database stack-haskell stack web webserver webserver-setup
Language:Haskell 122
AveroLLC / types-first-ui
An opinionated framework for building long-lived, maintainable UI codebases
typescript rxjs react redux redux-observable typesafe
Language:TypeScript 114
keithasaurus / koda-validate
Typesafe, Composable Validation
python python310 python311 python38 python39 typesafe validation validator python312
Language:Python 111
carueda / tscfg
Boilerplate-free, type-safe access to configuration properties in Java and Scala
configuration immutable java pojo scala schema typesafe typesafe-config
Language:Scala 107
hendrikniemann / purescript-graphql
End to End typesafe GraphQL with PureScript
graphql typesafe purescript api
Language:PureScript 94
kunalsheth / units-of-measure
Type-safe dimensional analysis and unit conversion in Kotlin.
typesafe dimensional-analysis units-of-measure dsl
Language:Kotlin 93
mikestefanello / hooks
Simple, type-safe hook system to enable easier modularization of your Go code.
decoupling go golang hook hooks module lifecycle-hooks generics type-safe typesafe
Language:Go 89

typesafe

samber / lo

TanStack / router

wasp-lang / open-saas

http4k / http4k

samber / mo

go-jet / jet

TheEdoRan / next-safe-action

samber / do

bcherny / undux

crdoconnor / strictyaml

epicweb-dev / cachified

damianricobelli / stepperize

jirfag / go-queryset

kitajs / html

badrap / valita

bridge-codes / bridge

chaos-lang / chaos

jscheiny / safe-units

specta-rs / specta

TheLartians / modern-wasm-starter

michaelolof / vuex-class-component

kiwicom / navigation-compose-typed

malcommac / FlowKit

wsporto / typesql

pheymann / typedapi

akash-joshi / rocketrpc

xmlet / HtmlFlow

trutoo / event-bus

redpangilinan / next-entree

dandoh / web-haskell-graphql-postgres-boilerplate

AveroLLC / types-first-ui

keithasaurus / koda-validate

carueda / tscfg

hendrikniemann / purescript-graphql

kunalsheth / units-of-measure

mikestefanello / hooks