Typesafe

Open-source projects categorized as Typesafe

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.

    InfluxDB logo
  • 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
  • SaaSHub

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

    SaaSHub logo
  • 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).

    Project mention: Should I use fragments with Jetpack Compose? | /r/androiddev | 2023-05-03
  • rocketrpc

    A typesafe framework to destroy client-server barriers.

  • koda-validate

    Typesafe, Composable Validation

  • 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

    SaaSHub logo
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).

Typesafe related posts

  • Ruls - typesafe rules engine with JSON encoding

    1 project | /r/typescript | 29 May 2023
  • Which backend Frameworks for Web App is easy to learn?

    1 project | /r/Kotlin | 1 Apr 2023
  • Application-as-a-Function Thinking

    2 projects | news.ycombinator.com | 16 Oct 2022
  • My ideal GraphQL framework for Haskell

    3 projects | /r/haskell | 4 Aug 2021
  • Lifting up state of complex nested form

    1 project | /r/reactjs | 15 Jul 2021
  • Type-safe Units with Measured

    2 projects | /r/Kotlin | 23 Jan 2021
  • Feedback request - Laravel query builders generator package.

    1 project | /r/laravel | 3 Jan 2021
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 1 May 2024
    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. Learn more →

Index

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

Project Stars
1 lo 15,348
2 router 7,089
3 http4k 2,494
4 mo 2,261
5 jet 2,025
6 do 1,590
7 strictyaml 1,411
8 next-safe-action 1,114
9 go-queryset 719
10 bridge 318
11 chaos 275
12 safe-units 200
13 specta 196
14 navigation-compose-typed 180
15 rocketrpc 154
16 koda-validate 108
17 tscfg 106
18 purescript-graphql 95
19 units-of-measure 92
20 hooks 86
21 next-entree 83
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