types

There are 9 repositories under types topic.

goldbergyoni / nodebestpractices
:white_check_mark: The Node.js best practices list (May 2022)
best-practices es6 eslint express expressjs javascript jest microservices mocha node-js nodejs nodejs-development npm rest style-guide styleguide testing types
Language:JavaScript 77766
DefinitelyTyped / DefinitelyTyped
The repository for high quality TypeScript type definitions.
definition dts hacktoberfest types typescript typescript-definitions typings
Language:TypeScript 39128
python / mypy
Optional static typing for Python
linter python typechecker types typing
Language:Python 13120
sindresorhus / type-fest
A collection of essential TypeScript types
npm-package types typescript typescript-definitions utilities
Language:TypeScript 7675
ianstormtaylor / superstruct
A simple and composable way to validate data in JavaScript (and TypeScript).
validation types interface structs schema javascript typescript
Language:TypeScript 5904
gcanti / io-ts
Runtime type system for IO decoding/encoding
inference runtime types typescript validation
Language:TypeScript 5425
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 4046
flow-typed
flow-typed / flow-typed
A central repository for Flow library definitions
flow cli libdefs hacktoberfest flowtype types
Language:JavaScript 3769
google / pytype
A static type analyzer for Python code
linter python static-analysis static-code-analysis typechecker types typing
Language:Python 3743
typings / typings
*DEPRECATED* The TypeScript Definition Manager
definition javascript management types typescript typings
Language:TypeScript 3407
sorbet / sorbet
A fast, powerful type checker designed for Ruby
ruby sorbet types
Language:Ruby 3169
python / typeshed
Collection of library stubs for Python, with static types
python stub types typing
Language:Python 2848
schematics / schematics
Python Data Structures for Humans™.
python validation datastructures types schema serialization deserialization
Language:Python 2494
ts-essentials / ts-essentials
All basic TypeScript types in one place 🤙
essentials toolbox type-level-programming types typescript
Language:TypeScript 2267
pelotom / runtypes
Runtime validation for static types
runtime types typescript validation
Language:TypeScript 2104
adelsz / pgtyped
pgTyped - Typesafe SQL in TypeScript
generator postgres query types typescript
Language:TypeScript 1887
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 1361
python / typing
Python static typing home. Hosts the documentation and a user help forum.
gradual-typing python static-typing types typing
Language:Python 1241
frenic / csstype
Strict TypeScript and Flow types for style based on MDN data
css flow mdn style types typescript
Language:TypeScript 1229
mypyc / mypyc
Compile type annotated Python to fast C extensions
compiler python types
1087
dry-rb / dry-types
Flexible type system for Ruby with coercions and constraints
dry-rb types coercion constraints ruby
Language:Ruby 759
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
Language:OCaml 734
mvdan / interfacer
A linter that suggests interface types
go linter interface types
Language:Go 696
dropbox / sqlalchemy-stubs
Mypy plugin and stubs for SQLAlchemy
mypy python sql sqlalchemy stubs types typing
Language:Python 485
kotlingrad
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
Language:Kotlin 468
starlite
starlite-api / starlite
Light, Flexible and Extensible ASGI API framework
python api rest mypy pydantic types asgi json openapi redoc starlette
Language:Python 460
racket / typed-racket
Typed Racket
racket types
Language:Racket 434
enthought / traits
Observable typed attributes for Python classes
python dataclasses observer-pattern types gui attributes runtime-typechecking
Language:Python 362
typedefs / typedefs
Programming language agnostic type construction language based on polynomials.
type-definitions serialization-library types f-algebras type-theory category-theory serialization marshalling
Language:Idris 355
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 346
sorbet / sorbet-typed
A central repository for sharing type definitions for Ruby gems
ruby sorbet types
Language:Ruby 344
getify / TypL
The Type Linter for JS
assertion javascript linter types
Language:JavaScript 332
spatie / typed
Improvements to PHP's type system in userland: generics, typed lists, tuples and structs
types generics tuples structs
Language:PHP 321
dry-rb / dry-struct
Typed struct and value objects
dry-rb data-modeling type-safety data ruby types constraints struct value-object
Language:Ruby 318
mukul-rathi / bolt
Bolt is a language with in-built data-race freedom!
compilers data-race-freedom types concurrency static-analysis language
Language:OCaml 309
dropbox / mypy-PyCharm-plugin
A simple plugin that allows running mypy from PyCharm and navigate between errors
mypy pycharm python typing types type-checking
Language:Java 295

ezoic increase your site revenue

Related Topics

github-actions ci github git continuous-integration