Types

Open-source projects categorized as Types
Edit details
Language: + TypeScript + Python + Ruby + Dockerfile + JavaScript + Rust + Emacs Lisp + Java
Topics: TypeScript Python JavaScript Validation type-safety
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
Sponsored

Top 23 Type Open-Source Projects

  • nodebestpractices

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

    • Project mention: 10 GitHub Repos for Mastering JavaScript | dev.to | 2024-04-19

    Repository: goldbergyoni/nodebestpractices

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

    SurveyJS logo

  • 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: Popular Libraries For Building Type-safe Web Application APIs | dev.to | 2024-04-07

    You can check out Superstruct documentation here.

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

    InfluxDB logo

  • 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: @Nullable et @NonNull | dev.to | 2024-03-29

  • dry-types

    Flexible type system for Ruby with coercions and constraints

  • react-complex-tree

    Unopinionated Accessible Tree Component with Multi-Select and Drag-And-Drop

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

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

Types related posts

Index

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

Project Stars
1 nodebestpractices 96,249
2 DefinitelyTyped 47,143
3 mypy 17,541
4 type-fest 13,221
5 Superstruct 6,802
6 io-ts 6,597
7 ts-toolbelt 6,406
8 pytype 4,538
9 typeshed 4,066
10 flow-typed 3,766
11 ts-essentials 3,552
12 sorbet 3,521
13 pgtyped 2,800
14 Schematics 2,571
15 runtypes 2,545
16 ezno 2,179
17 csstype 1,680
18 mypyc 1,667
19 lux 1,636
20 typing 1,544
21 Checker Framework 976
22 dry-types 843
23 react-complex-tree 754

Sponsored
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