types

There are 12 repositories under types topic.

goldbergyoni / nodebestpractices
:white_check_mark: The Node.js best practices list (May 2023)
nodejs javascript best-practices styleguide style-guide node-js express expressjs nodejs-development es6 eslint mocha microservices rest npm jest types testing
Language:Dockerfile 89445
DefinitelyTyped / DefinitelyTyped
The repository for high quality TypeScript type definitions.
typescript definition dts types typings typescript-definitions hacktoberfest
Language:TypeScript 44111
python / mypy
Optional static typing for Python
linter python typechecker types typing
Language:Python 15428
sindresorhus / type-fest
A collection of essential TypeScript types
typescript-definitions typescript types utilities npm-package
Language:TypeScript 11037
ianstormtaylor / superstruct
A simple and composable way to validate data in JavaScript (and TypeScript).
validation types interface structs schema javascript typescript
Language:TypeScript 6513
gcanti / io-ts
Runtime type system for IO decoding/encoding
inference runtime types typescript validation
Language:TypeScript 6272
ts-toolbelt
millsp / ts-toolbelt
👷 TypeScript's largest type utility library
dynamic-types safety type-checking type-safety type-utilities types typescript typescript-library utility
Language:TypeScript 5777
google / pytype
A static type analyzer for Python code
python typing typechecker linter types static-analysis static-code-analysis
Language:Python 4228
flow-typed
flow-typed / flow-typed
A central repository for Flow library definitions
flow cli libdefs hacktoberfest flowtype types
Language:JavaScript 3764
python / typeshed
Collection of library stubs for Python, with static types
python stub types typing
Language:Python 3616
sorbet / sorbet
A fast, powerful type checker designed for Ruby
ruby types sorbet
Language:Ruby 3451
typings / typings
*DEPRECATED* The TypeScript Definition Manager
typescript typings types javascript definition management
Language:TypeScript 3394
ts-essentials / ts-essentials
All basic TypeScript types in one place 🤙
typescript types essentials type-level-programming toolbox
Language:TypeScript 3162
schematics / schematics
Python Data Structures for Humans™.
python validation datastructures types schema serialization deserialization
Language:Python 2557
adelsz / pgtyped
pgTyped - Typesafe SQL in TypeScript
postgres typescript query generator types postgresql sql type-safety
Language:TypeScript 2429
pelotom / runtypes
Runtime validation for static types
typescript runtime types validation
Language:TypeScript 2399
LuxLang / lux
The Lux Programming Language
language programming-language macros functional-programming lisp haskell clojure functional-languages types jvm-languages javascript python ruby lua
Language:Clojure 1535
frenic / csstype
Strict TypeScript and Flow types for style based on MDN data
typescript types css style flow mdn
Language:TypeScript 1520
mypyc / mypyc
Compile type annotated Python to fast C extensions
python compiler types
1483
python / typing
Python static typing home. Hosts the documentation and a user help forum.
python types typing static-typing gradual-typing
Language:Python 1407
typetools / checker-framework
Pluggable type-checking for Java
java types verification
Language:Java 908
dry-rb / dry-types
Flexible type system for Ruby with coercions and constraints
dry-rb types coercion constraints ruby
Language:Ruby 803
rescript-association / genType
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
types javascript reasonml flowtype bucklescript type-safety typescript
Language:OCaml 756
ezno
kaleidawave / ezno
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
compiler javascript types typescript typechecker
Language:Rust 744
mvdan / interfacer
A linter that suggests interface types
go linter interface types
Language:Go 698
polyfactory
litestar-org / polyfactory
Simple and powerful factories for mock data generation
pydantic factory types python dataclasses tdd starlite hacktoberfest starlite-api typeddict litestar litestar-api litestar-framework litestar-polyfactory pydantic-factories polyfactory
Language:Python 601
dropbox / sqlalchemy-stubs
Mypy plugin and stubs for SQLAlchemy
types typing stubs mypy python sql sqlalchemy
Language:Python 541
lukasbach / react-complex-tree
Unopinionated Accessible Tree Component with Multi-Select and Drag-And-Drop
react component tree accessible dnd drag-and-drop search rename keyboard hotkeys unopinionated types typescript draggable
Language:TypeScript 536
monads
sniptt-official / monads
👻 Option, Result, and Either types for TypeScript; Inspired by Rust
monads javascript typescript types option result rust nodejs either node deno
Language:TypeScript 523
kotlingrad
breandan / kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
automatic-differentiation differentiable-programming computer-algebra kotlin types shape-safety multi-stage-programming symbolic-differentiation optimization gradient-descent algebraic-data-types array-programming message-passing linear-algebra chinese
Language:Kotlin 491
oleiade / reflections
High level abstractions over the Go reflect library
go golang reflect reflection runtime types
Language:Go 485
racket / typed-racket
Typed Racket
racket types
Language:Racket 478
stepchowfun / typical
Data interchange with algebraic data types.
serialization algebraic-data-types data-interchange types type-safety idl interface-definition-language interface-description-language
Language:Rust 463
mukul-rathi / bolt
Bolt is a language with in-built data-race freedom!
compilers data-race-freedom types concurrency static-analysis language
Language:OCaml 452
ghaiklor / type-challenges-solutions
Solutions for the collection of TypeScript type challenges with explanations
typescript types challenges-solved challenge solution explanation playground multi-language
Language:HTML 415
enthought / traits
Observable typed attributes for Python classes
python dataclasses observer-pattern types gui attributes runtime-typechecking
Language:Python 399