Typesafe

Open-source projects categorized as Typesafe
Edit details
Language: + Go + TypeScript + Kotlin + Python + C + Rust + Scala + PureScript + Haskell
Topics: TypeScript Golang React Go Python
The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
workos.com
Sponsored

Top 23 Typesafe Open-Source Projects

  • lo

    💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

    Project mention: Go 1.22 Release Notes | news.ycombinator.com | 2024-02-06

    On the other hand, I advise you NOT to use this kind of library and write simple, fast go code most of the time, with the occasional generics helper. Why the hell would I clutter my code with, for example: https://github.com/samber/lo?tab=readme-ov-file#fromentries-...

  • router

    🤖 Fully typesafe Router for React (and friends) w/ built-in caching, 1st class search-param APIs, client-side cache integration and isomorphic rendering.

    Project mention: TanStack Router: Setup & Routing in React | dev.to | 2024-02-26

    Welcome to the first article of a series where we will explore TanStack Router, a new router for React (version 1.0 released in December 2023).

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  • http4k

    The Functional toolkit for Kotlin HTTP applications. http4k provides a simple and uniform way to serve, consume, and test HTTP services.

  • mo

    🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

    Project mention: Functional Programming Library for Golang by IBM | news.ycombinator.com | 2023-08-17

    A simple alternative is the combination of:

    - https://github.com/samber/lo

    - https://github.com/samber/mo

    The split is also nice as you can choose to just use the generic convenience functions from lo without the more FP related things from mo.

  • jet

    Type safe SQL builder with code generation and automatic query result data mapping

    Project mention: Open-sourcing SQX, a way to build flexible database models in Go | news.ycombinator.com | 2023-09-02

    We are really happy using jet. It lets you write type safe SQL and can read the results into structs- including joins into slice fields.

    https://github.com/go-jet/jet

  • do

    ⚙️ A dependency injection toolkit based on Go 1.18+ Generics.

  • strictyaml

    Type-safe YAML parser and validator.

    Project mention: StrictYAML | news.ycombinator.com | 2023-09-29

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  • next-safe-action

    Type safe and validated Server Actions in your Next.js (App Router) project.

    Project mention: How to get next-auth Server Session in Nextjs Server Actions? | /r/nextjs | 2023-05-11

    Btw, it's explained in the README of my lib (which supports authenticated actions too): https://github.com/TheEdoRan/next-safe-action

  • go-queryset

    100% type-safe ORM for Go (Golang) with code generation and MySQL, PostgreSQL, Sqlite3, SQL Server support. GORM under the hood.

  • 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. (by bridge-codes)

  • chaos

    The Chaos Programming Language (by chaos-lang)

  • safe-units

    Type-safe TypeScript units of measure 👷📏

  • specta

    Easily export your Rust types to other languages (by oscartbeaumont)

    Project mention: Using rust to generate typescript client | /r/rust | 2023-06-03

    I assume you're using Axum or Actix as your router & web server, in which case I think using OpenAPI specs is your best option. I see that rspc has already been mentioned in this thread, which I would definitely recommend (disclaimer - I work at the company that builds it) if continuing to use REST wasn't a priority, since it can auto-generate all the TS bindings you need and has a React Query integration so you'd feel right at home. It's able to do so much since it's able to sit between your backend and frontend code, but REST is a lot less opinionated, hence the recommendation to continue using OpenAPI. However, if you're willing to lose some type-safety there's the option of using a Rust -> TS generator specifically for your data types, and then manually use React Query. You'd lose the type-level enforcement of your routes, but at least you'd have your structs and enums available in TS. If you were to take this route I'd personally recommend using Specta, since it's the Rust -> TS generator that powers rspc, but there's also ts-rs and Typeshare which could probably do the job (though I don't think they're as good).

  • rocketrpc

    A typesafe framework to destroy client-server barriers.

  • koda-validate

    Typesafe, Composable Validation

    Project mention: Pydantic V2 leverages Rust's Superpowers [video] | news.ycombinator.com | 2023-04-23

    As someone who built a pure python validation library[0] that's much faster than pydantic (~1.5x - 12x depending on the benchmark), I have to say that this whole focus on Rust seems premature. There's clearly a lot of room for pydantic to optimize its Python implementation.

    Beyond that, rust seems like a great fit for tooling (i.e. ruff), but as a library used at runtime, it seems a little odd to make a validation library (which can expect to receive any kind of data valid python data) to also be constrained by a separate set of data types which are valid in rust.

    [0]: https://github.com/keithasaurus/koda-validate

  • tscfg

    Boilerplate-free, type-safe access to configuration properties in Java and Scala

  • purescript-graphql

    End to End typesafe GraphQL with PureScript

  • units-of-measure

    Type-safe dimensional analysis and unit conversion in Kotlin.

  • hooks

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

  • next-entree

    Next.js 14+ starter template with app router, shadcn/ui, typesafe env, icons, and configs setup.

    Project mention: Next.js 14+ starter template with app router, shadcn/ui, typesafe env, icons, and configs setup | dev.to | 2023-12-30

    pnpm create next-app -e https://github.com/redpangilinan/next-entree

  • vastringify

    Type-safe Printf in C

  • intlc

    Compile ICU messages into code. Supports TypeScript and JSX. No runtime.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2024-02-26.

Typesafe related posts

Index

What are some of the best open-source Typesafe projects? This list will help you:

Project Stars
1 lo 15,234
2 router 7,018
3 http4k 2,491
4 mo 2,241
5 jet 2,010
6 do 1,585
7 strictyaml 1,407
8 next-safe-action 1,062
9 go-queryset 719
10 bridge 319
11 chaos 275
12 safe-units 200
13 specta 189
14 navigation-compose-typed 178
15 rocketrpc 153
16 koda-validate 108
17 tscfg 105
18 purescript-graphql 95
19 units-of-measure 92
20 hooks 86
21 next-entree 80
22 vastringify 66
23 intlc 53

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com