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-safety 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.
-
-
-
-
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.
-
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
-
-
-
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
-
Graphaello
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
-
-
-
-
-
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.
There are a bunch of awesome type utility libraries that may boost your works on types, like ts-toolbelt, utility-types, SimplyTyped, etc., which you can already use.
returns – Make your functions return something meaningful, typed, and safe
There is an implementation of SQL that operates on a table shaped type, entirely at type level. For your amusement: https://github.com/codemix/ts-sql
There are a bunch of more practical takes that codegen types from your database and generate types for your queries, eg: https://github.com/adelsz/pgtyped
To me the second approach seems much more pragmatic because you don’t need to run a SQL parser in a fairly potato interpreter on every build
Project mention: Ask HN: Anyone looking for contributors for their open source projects | news.ycombinator.com | 2024-03-21https://github.com/rustedpy/result
Small Python library, slowly and steadily growing in use.
Luckily, there is a large pool of community wisdom around and outside of Rails which may help us a lot here. Instead of inventing our own wheel for now we will use one invented before us by others. Pretty much sure you have seen this magic used outside of Hogwarts before: https://dry-rb.org/gems/dry-validation.
It's still… not the same. In CL (and specially with SBCL), we get compile time (type) errors and warnings at the blink of an eye, when we compile a single function with a keystroke (typically C-c C-c in Slime).
And there's also been improvement, see Coalton for a ML on top of CL. (https://github.com/coalton-lang/coalton/)
Project mention: Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think? | /r/rust | 2023-07-04https://github.com/magmide/magmide when
Project mention: Typical: Data interchange with algebraic data types | /r/patient_hackernews | 2023-05-22
Project mention: PostgresJs: The Fastest full featured PostgreSQL client for Node.js and Deno | news.ycombinator.com | 2023-10-14Super happy user of this [1] it's rather minimalistic but great.
[1] https://github.com/Ff00ff/mammoth
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-safety related posts
- Typing Haskell in Haskell
- Python Functional Programming with returns library (type-safety, monads, etc.)
- Show HN: Collaborative Lisp Coding on Discord
- Coalton to Lispers without a background in ML-like languages
- Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think?
- Why I Still Lisp (and You Should Too)
- Common Lisp for large software
-
A note from our sponsor - WorkOS
workos.com | 25 Apr 2024
Index
What are some of the best open-source type-safety projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | ts-toolbelt | 6,406 |
| 2 | returns | 3,259 |
| 3 | pgtyped | 2,800 |
| 4 | type_safe | 1,447 |
| 5 | result | 1,355 |
| 6 | dry-validation | 1,314 |
| 7 | swift-tagged | 1,297 |
| 8 | coalton | 990 |
| 9 | nexus-plugin-prisma | 833 |
| 10 | swift-nonempty | 832 |
| 11 | magmide | 804 |
| 12 | flow-runtime | 804 |
| 13 | typical | 552 |
| 14 | compose-navigation-reimagined | 524 |
| 15 | cone | 502 |
| 16 | Graphaello | 494 |
| 17 | mammoth | 492 |
| 18 | topshell | 472 |
| 19 | remix-forms | 471 |
| 20 | structopt | 451 |
| 21 | dry-struct | 402 |
| 22 | tsafe | 384 |
| 23 | vuex-smart-module | 382 |
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