The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Top 23 type-safe Open-Source Projects
-
-
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
-
-
caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
-
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
-
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.
-
-
-
react-router-typesafe-routes
Comprehensive and extensible type-safe routes for React Router v6 with first-class support for nested routes and param validation.
-
zoxy
A small type-safe object proxy around Zod to help you stay safe after your data is loaded while continuing to edit them.
-
interprocess
💬 A scalable and type-safe Electron IPC management tool with enhanced DX (by daltonmenezes)
-
hooks
Simple, type-safe hook system to enable easier modularization of your Go code. (by mikestefanello)
-
prim-rpc
Easy-to-understand, type-safe, transport-agnostic RPC/IPC for JavaScript, supporting callbacks, batching, file handling, custom serialization, and more.
-
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.
Lichess - Online Chess Server. Scala, TypeScript
Project mention: Show HN: Tsynamo – Type-friendly DynamoDB query builder for TypeScript | news.ycombinator.com | 2024-04-10Hello HN! I was recently introduced to Kysely (https://github.com/kysely-org/kysely), a type-safe Typescript SQL query builder, and instantly fell in love! I got inspired and wanted to make something similar for AWS DynamoDB.
Thus, I developed Tsynamo! Instead of calling it type-safe, I decided to go with type-friendly, because the library is still in an early stage, and is not 100% type-safe.
Under the hood, Tsynamo compiles the built queries into AWS SDK v3 commands. I feel that Tsynamo simplifies the AWS SDK API quite a lot since the developer doesn't have to mess around with condition/filter expressions or attribute names/values themselves, and as a bonus gets autocompletion for building the queries!
There's also a playground to test it out in your browser: https://try.tsynamo.dev. It might not have the most up-to-date API of the library in use yet, but you can get the library's main idea from there.
Since the project is still in its early stages, it doesn't yet have 100% support for all DynamoDB features, like querying indexes. The next steps will be increasing the support coverage and perhaps adding automatic type generation as inspired by kysely-codegen (https://github.com/RobinBlomberg/kysely-codegen).
Would love to get some feedback, thanks in advance!
Project mention: Next.js and Bunny CDN: Complete Guide to Image Uploading with Server Actions | dev.to | 2024-04-21I'll use Valibot library, which is a pretty new and cool library for schema validation, similar to Zod.
Caramel is a very similar language (ML dialect) that builds for BEAM.
https://caramel.run/
NOTE: You can try this with the Feliz codebase, which is larger and has multiple .fsproj files. But as you will find out, the project structure is laid out just like we've seen here.
Project mention: Full stack web development in a single Java file: An intro to Javalin and htmx | /r/java | 2023-07-12Anyway it was one of the reasons we (my company) went with Mustache and why I wrote JStachio.
Project mention: Hamlet: A type-safe Haml template engine for Go | news.ycombinator.com | 2024-01-01
Prim+RPC provides a powerful library for calling functions remotely and remains invisible once it is set up. I can define a function on the server of my choice and call that function on the client, all using JavaScript. Yet requests are simple enough to make outside of JavaScript as well.
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).
type-safe related posts
- React Router Typesafe Routes v1.0.0 is Here 🎉
- Continuously validate your data with zod and zoxy (JS/TS)
- GitHub - Zaid-Ajaj/Fable.Remoting: Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps
- Should I learn it? If yes then which?
- OCaml programmer with some noob F# ecosystem questions
- "redesign" of my Terminal.Gui.Elmish Project
- A fresh retake of the React API in Fable
-
A note from our sponsor - WorkOS
workos.com | 23 Apr 2024
Index
What are some of the best open-source type-safe projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | lila | 14,558 |
| 2 | kysely | 9,240 |
| 3 | valibot | 5,127 |
| 4 | tapir | 1,288 |
| 5 | caramel | 1,036 |
| 6 | Feliz | 521 |
| 7 | gremlin-scala | 483 |
| 8 | github-workflows-kt | 481 |
| 9 | structopt | 451 |
| 10 | scalacss | 338 |
| 11 | SwayDB | 288 |
| 12 | Fable.Remoting | 269 |
| 13 | jstachio | 212 |
| 14 | composable-form | 197 |
| 15 | sq | 195 |
| 16 | confique | 156 |
| 17 | react-router-typesafe-routes | 119 |
| 18 | zoxy | 117 |
| 19 | goht | 99 |
| 20 | interprocess | 90 |
| 21 | hooks | 86 |
| 22 | prim-rpc | 82 |
| 23 | stream | 32 |
Sponsored
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.
www.influxdata.com