Projects in Awesome Lists tagged with types

https://github.com/goldbergyoni/nodebestpractices

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

best-practices es6 eslint express expressjs javascript jest microservices mocha node-js nodejs nodejs-development npm rest style-guide styleguide testing types

Last synced: 29 Sep 2024

https://github.com/DefinitelyTyped/DefinitelyTyped

The repository for high quality TypeScript type definitions.

definition dts hacktoberfest types typescript typescript-definitions typings

Last synced: 30 Jul 2024

https://github.com/definitelytyped/definitelytyped

The repository for high quality TypeScript type definitions.

definition dts hacktoberfest types typescript typescript-definitions typings

Last synced: 29 Sep 2024

https://github.com/python/mypy

Optional static typing for Python

linter python typechecker types typing

Last synced: 01 Oct 2024

https://github.com/sindresorhus/type-fest

A collection of essential TypeScript types

npm-package types typescript typescript-definitions utilities

Last synced: 29 Sep 2024

https://github.com/microsoft/typechat

TypeChat is a library that makes it easy to build natural language interfaces using types.

ai llm natural-language types

Last synced: 30 Sep 2024

https://github.com/microsoft/TypeChat

TypeChat is a library that makes it easy to build natural language interfaces using types.

ai llm natural-language types

Last synced: 31 Jul 2024

https://github.com/ianstormtaylor/superstruct

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

interface javascript schema structs types typescript validation

Last synced: 31 Jul 2024

https://github.com/millsp/ts-toolbelt

👷 TypeScript's largest type utility library

dynamic-types safety type-checking type-safety type-utilities types typescript typescript-library utility

Last synced: 29 Sep 2024

https://gcanti.github.io/io-ts/

Runtime type system for IO decoding/encoding

inference runtime types typescript validation

Last synced: 01 Aug 2024

https://github.com/gcanti/io-ts

Runtime type system for IO decoding/encoding

inference runtime types typescript validation

Last synced: 29 Sep 2024

https://github.com/google/pytype

A static type analyzer for Python code

linter python static-analysis static-code-analysis typechecker types typing

Last synced: 29 Sep 2024

https://github.com/python/typeshed

Collection of library stubs for Python, with static types

python stub types typing

Last synced: 01 Oct 2024

https://github.com/flow-typed/flow-typed

A central repository for Flow library definitions

cli flow flowtype hacktoberfest libdefs types

Last synced: 29 Sep 2024

https://github.com/ts-essentials/ts-essentials

All essential TypeScript types in one place 🤙

essentials toolbox type-level-programming types typescript

Last synced: 29 Sep 2024

https://github.com/krzkaczor/ts-essentials

All essential TypeScript types in one place 🤙

essentials toolbox type-level-programming types typescript

Last synced: 08 Aug 2024

https://github.com/sorbet/sorbet

A fast, powerful type checker designed for Ruby

ruby sorbet types

Last synced: 29 Sep 2024

https://github.com/typings/typings

*DEPRECATED* The TypeScript Definition Manager

definition javascript management types typescript typings

Last synced: 25 Sep 2024

https://github.com/adelsz/pgtyped

pgTyped - Typesafe SQL in TypeScript

generator postgres postgresql query sql type-safety types typescript

Last synced: 27 Sep 2024

https://github.com/schematics/schematics

Python Data Structures for Humans™.

datastructures deserialization python schema serialization types validation

Last synced: 30 Sep 2024

https://github.com/runtypes/runtypes

Runtime validation for static types

runtime types typescript validation

Last synced: 30 Sep 2024

https://github.com/pelotom/runtypes

Runtime validation for static types

runtime types typescript validation

Last synced: 03 Aug 2024

https://github.com/kaleidawave/ezno

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

compiler javascript typechecker types typescript

Last synced: 30 Sep 2024

https://github.com/mypyc/mypyc

Compile type annotated Python to fast C extensions

compiler python types

Last synced: 26 Sep 2024

https://github.com/frenic/csstype

Strict TypeScript and Flow types for style based on MDN data

css flow mdn style types typescript

Last synced: 30 Sep 2024

https://github.com/luxlang/lux

The Lux Programming Language

clojure functional-languages functional-programming haskell javascript jvm-languages language lisp lua macros programming-language python ruby types

Last synced: 01 Oct 2024

https://github.com/LuxLang/lux

The Lux Programming Language

clojure functional-languages functional-programming haskell javascript jvm-languages language lisp lua macros programming-language python ruby types

Last synced: 31 Jul 2024

https://github.com/python/typing

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

gradual-typing python static-typing types typing

Last synced: 30 Sep 2024

https://github.com/typetools/checker-framework

Pluggable type-checking for Java

java types verification

Last synced: 01 Aug 2024

https://github.com/Aleph-Alpha/ts-rs

Generate TypeScript bindings from Rust types

binding-generator bindings code-generation rust rust-to-typescript types typescript

Last synced: 31 Jul 2024

https://github.com/lukasbach/react-complex-tree

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

accessible component dnd drag-and-drop draggable hotkeys keyboard react rename search tree types typescript unopinionated

Last synced: 30 Jul 2024

https://github.com/dry-rb/dry-types

Flexible type system for Ruby with coercions and constraints

coercion constraints dry-rb ruby types

Last synced: 30 Jul 2024

https://github.com/rescript-association/genType

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

bucklescript flowtype javascript reasonml type-safety types typescript

Last synced: 31 Jul 2024

https://github.com/thames-technology/monads

Option, Result, and Either types for TypeScript - Inspired by Rust 🦀

either javascript monads node nodejs option result rust types typescript

Last synced: 04 Aug 2024

https://github.com/sniptt-official/monads

Option, Result, and Either types for TypeScript - Inspired by Rust 🦀

either javascript monads node nodejs option result rust types typescript

Last synced: 09 Aug 2024

https://github.com/mvdan/interfacer

A linter that suggests interface types

go interface linter types

Last synced: 03 Aug 2024

https://github.com/dropbox/sqlalchemy-stubs

Mypy plugin and stubs for SQLAlchemy

mypy python sql sqlalchemy stubs types typing

Last synced: 04 Aug 2024

https://github.com/mukul-rathi/bolt

Bolt is a language with in-built data-race freedom!

compilers concurrency data-race-freedom language static-analysis types

Last synced: 01 Aug 2024

https://github.com/moltar/typescript-runtime-type-benchmarks

📊 Benchmark Comparison of Packages with Runtime Validation and TypeScript Support

benchmark benchmarks decoders json runtypes types typescript typescript-support validation validation-library

Last synced: 31 Jul 2024

https://github.com/breandan/kotlingrad

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

algebraic-data-types array-programming automatic-differentiation chinese computer-algebra differentiable-programming gradient-descent kotlin linear-algebra message-passing multi-stage-programming optimization shape-safety symbolic-differentiation types

Last synced: 01 Aug 2024

https://github.com/racket/typed-racket

Typed Racket

racket types

Last synced: 03 Aug 2024

https://github.com/ghaiklor/type-challenges-solutions

Solutions for the collection of TypeScript type challenges with explanations

challenge challenges-solved explanation multi-language playground solution types typescript

Last synced: 04 Aug 2024

https://github.com/swansonk14/typed-argument-parser

Typed argument parser for Python

argument-parser argument-parsing python python3 types typing

Last synced: 31 Jul 2024

https://github.com/Iltotore/iron

Strong type constraints for Scala

assert functional-programming refinement-types scala types

Last synced: 31 Jul 2024

https://github.com/gleam-lang/stdlib

🎁 Gleam's standard library

gleam stdlib types

Last synced: 01 Aug 2024

https://github.com/wevm/abitype

Strict TypeScript types for Ethereum ABIs

abi ethereum static-types type-inference types typescript web3

Last synced: 01 Aug 2024

https://github.com/mistlog/typetype

A programming language designed for typescript type generation

type type-system types typescript

Last synced: 01 Aug 2024

https://github.com/dry-rb/dry-struct

Typed struct and value objects

constraints data data-modeling dry-rb ruby struct type-safety types value-object

Last synced: 06 Aug 2024

https://github.com/roogle-rs/roogle

A Rust API search engine

rust search-engine types

Last synced: 31 Jul 2024

https://github.com/sorbet/sorbet-typed

A central repository for sharing type definitions for Ruby gems

ruby sorbet types

Last synced: 06 Aug 2024

https://github.com/dotansimha/graphql-typed-document-node

An improved version of `DocumentNode` for seamless TypeScript integration for GraphQL.

generated graphql graphql-codegen types typescript

Last synced: 03 Oct 2024

https://github.com/getify/typl

The Type Linter for JS

assertion javascript linter types

Last synced: 02 Oct 2024

https://github.com/arthurfiorette/prisma-json-types-generator

⚒️ Changes JsonValues to your custom typescript type.

json prisma types

Last synced: 01 Oct 2024

https://github.com/getify/TypL

The Type Linter for JS

assertion javascript linter types

Last synced: 31 Jul 2024

https://github.com/unional/type-plus

Additional types and types adjusted utilities for TypeScript

npm-package type-level-programming type-system types typescript typescript-definitions utilities

Last synced: 01 Aug 2024

https://github.com/typedefs/typedefs

Programming language agnostic type construction language based on polynomials.

category-theory f-algebras marshalling serialization serialization-library type-definitions type-theory types

Last synced: 01 Aug 2024

https://github.com/spatie/typed

Improvements to PHP's type system in userland: generics, typed lists, tuples and structs

generics structs tuples types

Last synced: 04 Aug 2024

https://github.com/dropbox/mypy-pycharm-plugin

A simple plugin that allows running mypy from PyCharm and navigate between errors

mypy pycharm python type-checking types typing

Last synced: 26 Sep 2024

https://github.com/dropbox/mypy-PyCharm-plugin

A simple plugin that allows running mypy from PyCharm and navigate between errors

mypy pycharm python type-checking types typing

Last synced: 04 Aug 2024

https://github.com/metatypedev/metatype

Declarative API development platform. Build backend components with Typescript/Python/WASM, no matter where and how your (legacy) systems are.

api backend-for-frontend composition gateway graphql materializer meta policy rest runtime serverless types typesystem wasm

Last synced: 01 Aug 2024

https://github.com/ocsigen/eliom

Multi-tier framework for programming web and mobile applications in OCaml.

full-stack full-stack-web-development fullstack-development mobile-development ocaml ocsigen tierless types web

Last synced: 29 Sep 2024

https://github.com/quora/pyanalyze

A Python type checker

linter python static-analysis typechecker types typing

Last synced: 03 Aug 2024

https://github.com/alaingalvan/webgpu-seed

🔺🌱 An example on how to render a hello triangle with WebGPU.

definitions dts types typescript typescript-definitions typings webgpu

Last synced: 30 Jul 2024

https://github.com/nix-community/noogle

https://noogle.dev - nix function exploring. [maintainer=@hsjobeki]

explore functions nix nixos nixpkgs search types

Last synced: 27 Sep 2024

https://github.com/poomsmart/idaobjctypes

A collection of types & functions definitions useful for Objective-C binaries analysis.

analysis binaries definitions functions ghidra headers ida-pro objc types

Last synced: 03 Aug 2024

https://github.com/dwyl/phoenix-ecto-encryption-example

🔐 A detailed example for how to encrypt data in an Elixir (Phoenix v1.7) App before inserting into a database using Ecto Types

aes aes-256 aes-gcm argon2 custom database ecto elixir encryption learn phoenix tutorial types

Last synced: 01 Aug 2024

https://github.com/meadsteve/lagom

📦 Autowiring dependency injection container for python 3

dependency-injection django fastapi flask mypy python3 starlette types

Last synced: 01 Aug 2024

https://github.com/ltworf/typedload

Python library to load dynamically typed data into statically typed data structures

dataclass enums json json-schema mypy namedtuple pydantic python python3 schema types typing

Last synced: 31 Jul 2024

https://github.com/PacktWorkshops/The-Python-Workshop

A New, Interactive Approach to Learning Python

algorithms data-science gridsearchcv linear-regression logistic-regression machine-learning python pytorch random-forests randomizedsearchcv structure types

Last synced: 02 Aug 2024

https://github.com/DavidWells/types-with-jsdocs

Using JSDoc for Typescript Types

example jsdoc types typescript typescript-library

Last synced: 28 Aug 2024

https://github.com/gvergnaud/type-level-typescript-workshop

Interactive exercises to get familiar with TypeScript's most advanced features

course tutorial type-level-programming types typescript workshop

Last synced: 03 Oct 2024

https://github.com/sdleffler/tarpit-rs

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

rust rust-language turing-completeness turing-tarpit type-system types

Last synced: 28 Sep 2024

https://github.com/helios1138/graphql-typed-client

A tool that generates a strongly typed client library for any GraphQL endpoint. The client allows writing GraphQL queries as plain JS objects (with type safety, awesome code completion experience, custom scalar type mapping, type guards and more)

client code-generation codegen custom-scalar dts dtsfiles graphql interfaces javascript node nodejs scalar scalar-types type-annotations types typescript typescript-interfaces typings

Last synced: 31 Jul 2024

https://github.com/TypeStrong/ts-expect

Checks TypeScript types match expected values

expect type-check types typescript

Last synced: 31 Jul 2024

https://github.com/pyoner/svelte-typescript

Typescript monorepo for Svelte v3 (preprocess, template, types)

preprocess preprocessor rollup-plugin svelte svelte-v3 template types typescript

Last synced: 29 Sep 2024

https://github.com/kparc/kcc

k crash course

functions k nsl style types vectors

Last synced: 01 Aug 2024

https://github.com/lazear/types-and-programming-languages

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

lambda-calculus programming-languages tapl type-theory types types-and-programming-languages

Last synced: 02 Aug 2024

https://github.com/Drup/tyre

Typed Regular Expressions

gadt ocaml regex types

Last synced: 03 Aug 2024

https://github.com/xnuinside/simple-ddl-parser

Simple DDL Parser to parse SQL (HQL, TSQL, AWS Redshift, BigQuery, Snowflake and other dialects) ddl files to json/python dict with full information about columns: types, defaults, primary keys, etc. & table properties, types, domains, etc.

bigquery columns ddl ddl-parser ddls hive hql mssql mysql oracle-database oracle-db parser postgresql redshift schemas snowflake sql sql-parser tsql types