Types

Top 23 Type Open-Source Projects

  • nodebestpractices

    :white_check_mark: The Node.js best practices list (February 2024)

    Project mention: 18 Must-Bookmark GitHub Repositories Every Developer Should Know | dev.to | 2024-02-12
  • DefinitelyTyped

    The repository for high quality TypeScript type definitions.

    Project mention: ⚛️ Explaining React's Types | dev.to | 2024-03-27

    Prior to React 18, it used to include an implicit children prop, making it suitable for components expected to have children. For a long time, though, the implicit children prop type has been removed according to React 18's type changes.

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

  • mypy

    Optional static typing for Python

    Project mention: The GIL can now be disabled in Python's main branch | news.ycombinator.com | 2024-03-11
  • type-fest

    A collection of essential TypeScript types

    Project mention: Adding type safety to object IDs in TypeScript | news.ycombinator.com | 2024-01-30

    Related: https://github.com/sindresorhus/type-fest/blob/main/source/o...

  • Superstruct

    A simple and composable way to validate data in JavaScript (and TypeScript).

    Project mention: Lessons from open-source: Replace zod with superstruct if you do not use zod’s advanced capabilities | dev.to | 2024-03-26

    This is where I saw compiled folder has superstruct’s minified code.

  • io-ts

    Runtime type system for IO decoding/encoding

    Project mention: TDD | /r/CharruaDevs | 2023-12-07

    Qué rico. Si tenés chance meté un proceso de code review fuerte, y para el tema de I/O probá a usar https://github.com/Effect-TS/schema ó https://github.com/gcanti/io-ts que les da una solución obvia al tema de "tipos para lo que devuelva el backend", aunque es en realidad mucho más capaz que eso.

  • ts-toolbelt

    👷 TypeScript's largest type utility library

    Project mention: 5 Resources Each TypeScript Developer Should Know About | dev.to | 2024-03-10

    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.

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

  • pytype

    A static type analyzer for Python code

    Project mention: Enhance Your Project Quality with These Top Python Libraries | dev.to | 2024-03-18

    Pytype checks and infers types for your Python code - without requiring type annotations. Pytype can catch type errors in your Python code before you even run it.

  • typeshed

    Collection of library stubs for Python, with static types

    Project mention: What's the point of using `Any` in Union, such as `str | Any` | /r/learnpython | 2023-08-17

    "csv.pyi is from VS Code Pylance extension" is misleading. Yes, it's included in the code base of the extension, but it's likely originally from python/typeshed. I diffed csv.pyi in the extension and the repository, and they're exactly the same.

  • flow-typed

    A central repository for Flow library definitions

  • ts-essentials

    All essential TypeScript types in one place 🤙

  • sorbet

    A fast, powerful type checker designed for Ruby

    Project mention: The Design Principles of the Elixir Type System | news.ycombinator.com | 2024-01-10

    Not part of the official language spec, but Ruby has Sorbet, from a company who employs Ruby core contributors and helped with the recently released JIT additions to the language, amount countless other contributions over the last couple decades.

    https://sorbet.org/

  • pgtyped

    pgTyped - Typesafe SQL in TypeScript

    Project mention: Type-Safe Printf() in TypeScript | news.ycombinator.com | 2024-03-24

    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

  • Schematics

    Python Data Structures for Humans™.

  • runtypes

    Runtime validation for static types

  • ezno

    A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

    Project mention: Ezno's checker (Rust based type checker and compiler) is now open source | /r/typescript | 2023-06-08
  • csstype

    Strict TypeScript and Flow types for style based on MDN data

  • mypyc

    Compile type annotated Python to fast C extensions

    Project mention: Making use of type hints | /r/learnpython | 2023-12-10
  • lux

    The Lux Programming Language (by LuxLang)

    Project mention: Lux: Functional, statically typed, hosted Lisp | news.ycombinator.com | 2023-08-09
  • typing

    Python static typing home. Hosts the documentation and a user help forum.

    Project mention: Writing Python like it’s Rust | /r/programming | 2023-05-21
  • Checker Framework

    Pluggable type-checking for Java

    Project mention: Too Dangerous for C++ | news.ycombinator.com | 2024-02-09

    It is interesting! I experimented with creating a bad borrow checker for Java using annotations from

    https://checkerframework.org/

    It supports some level of substructural types using must-call annotations,

    https://checkerframework.org/manual/#resource-leak-checker

  • polyfactory

    Simple and powerful factories for mock data generation

    Project mention: Announcing Polyfactory - a powerful mock data generator for dataclasses, Pydantic and more | /r/Python | 2023-04-16

    If you'd like to contribute, check out the project on GitHub, and if you want to chat you're welcome to join us on the Litestar Discord!

  • dry-types

    Flexible type system for Ruby with coercions and constraints

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

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-03-27.

Types related posts

Index

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

Project Stars
1 nodebestpractices 95,871
2 DefinitelyTyped 46,896
3 mypy 17,410
4 type-fest 13,079
5 Superstruct 6,787
6 io-ts 6,567
7 ts-toolbelt 6,215
8 pytype 4,520
9 typeshed 4,017
10 flow-typed 3,762
11 ts-essentials 3,532
12 sorbet 3,517
13 pgtyped 2,762
14 Schematics 2,569
15 runtypes 2,538
16 ezno 2,133
17 csstype 1,670
18 mypyc 1,661
19 lux 1,631
20 typing 1,529
21 Checker Framework 976
22 polyfactory 857
23 dry-types 843
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