Top 9 Typesafety Open-Source Projects

jet

27 2,076 8.1 Go

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

Project mention: Use Rails | news.ycombinator.com | 2024-05-07

"I can make a JS or Go program perform the same way. In fact the exact same thing happened in my shop with Go/Gorm. The key question is: how do you compute the 5mb of JSON? The devil is in those details. We changed the way we computed ours, and the issue was gone."
The problem is ActiveRecord in my case. The data layout is not great (lots of joins through relationships, I thik 12 tables or so). What do you use (except raw sql) in Ruby if you cannot use ActiveRecord? I actually reimplemented the same API endpoint in Go using https://github.com/go-jet/jet and measured 10MB of allocations and essentially zero overhead over queries itself, a 50x speedup.

nutype

7 1,211 8.9 Rust

Rust newtype with guarantees 🇺🇦 🦀

Project mention: Nutype 0.4.0 released | /r/rust | 2023-11-23

SurveyJS

surveyjs.io featured

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.
classes

4 641 2.0 Python

Smart, pythonic, ad-hoc, typed polymorphism for Python
jitar

21 116 8.6 TypeScript

Distributed runtime for JavaScript and TypeScript

Project mention: Will you, and when will you, use trpc in your code? | /r/node | 2023-06-19

This is one of the reasons why we've created Jitar (https://jitar.dev). It moves all front/back communication from the code to the runtime, so integration is easy while maintaining end-to-end type-safety.

mamba

2 85 0.0 Rust

🐍 The Mamba programming language, because we care about safety (by JSAbrahams)
astroad

1 70 9.1 TypeScript

A pre-configured setup for easy website development with Astro and Payload CMS using Docker.

Project mention: Accelerate Your Web Development with Astroad: A Docker-Powered Setup for Astro and Payload CMS | /r/webdev | 2023-06-24

You can find Astroad here. I really hope you find it as helpful as I do. I can't wait to hear what you think and I'm more than open to any feedback or suggestions you might have.

dna

2 27 8.9 TypeScript

Start a new webapp with fullstack typesafety, with Directus providing the database sdk to Nest & React/Svelte
InfluxDB

www.influxdata.com featured

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.
zenum

1 2 10.0 TypeScript

A better enum for simplicity and typesafety.
shine

2 1 5.7 Go

Rust inspired Option and Result implementation for Go (by its-felix)

Project mention: Safety in Go | /r/golang | 2023-07-04

I created https://github.com/its-felix/shine for fun (implementation of both Option[T] and Result[T] inspired by rust), but without rusts pattern matching and limitations when switching type arguments in go, it turned out to be really cumbersome. I don’t use it myself for that reason - was fun to write though

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