types

There are 17 repositories under types topic.

goldbergyoni / nodebestpractices
:white_check_mark: The Node.js best practices list (February 2024)
best-practices es6 eslint express expressjs javascript jest microservices mocha node-js nodejs nodejs-development npm rest style-guide styleguide testing types
Language:Dockerfile 96519
DefinitelyTyped / DefinitelyTyped
The repository for high quality TypeScript type definitions.
definition dts hacktoberfest types typescript typescript-definitions typings
Language:TypeScript 47254
python / mypy
Optional static typing for Python
python types typing typechecker linter
Language:Python 17598
sindresorhus / type-fest
A collection of essential TypeScript types
npm-package types typescript typescript-definitions utilities
Language:TypeScript 13297
microsoft / TypeChat
TypeChat is a library that makes it easy to build natural language interfaces using types.
ai llm natural-language types
Language:TypeScript 7876
ianstormtaylor / superstruct
A simple and composable way to validate data in JavaScript (and TypeScript).
interface javascript schema structs types typescript validation
Language:TypeScript 6831
gcanti / io-ts
Runtime type system for IO decoding/encoding
inference runtime types typescript validation
Language:TypeScript 6607
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 6473
google / pytype
A static type analyzer for Python code
python typing typechecker linter types static-analysis static-code-analysis
Language:Python 4617
python / typeshed
Collection of library stubs for Python, with static types
python stub types typing
Language:Python 4092
flow-typed
flow-typed / flow-typed
A central repository for Flow library definitions
cli flow flowtype hacktoberfest libdefs types
Language:JavaScript 3765
ts-essentials / ts-essentials
All essential TypeScript types in one place 🤙
typescript types essentials type-level-programming toolbox
Language:TypeScript 3573
sorbet / sorbet
A fast, powerful type checker designed for Ruby
ruby sorbet types
Language:Ruby 3533
typings / typings
*DEPRECATED* The TypeScript Definition Manager
definition javascript management types typescript typings
Language:TypeScript 3388
adelsz / pgtyped
pgTyped - Typesafe SQL in TypeScript
postgres typescript query generator types postgresql sql type-safety
Language:TypeScript 2816
schematics / schematics
Python Data Structures for Humans™.
datastructures deserialization python schema serialization types validation
Language:Python 2571
runtypes / runtypes
Runtime validation for static types
runtime types typescript validation
Language:TypeScript 2548
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 2201
mypyc / mypyc
Compile type annotated Python to fast C extensions
compiler python types
1684
frenic / csstype
Strict TypeScript and Flow types for style based on MDN data
css flow mdn style types typescript
Language:TypeScript 1682
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:Emacs Lisp 1642
python / typing
Python static typing home. Hosts the documentation and a user help forum.
gradual-typing python static-typing types typing
Language:Python 1548
typetools / checker-framework
Pluggable type-checking for Java
java types verification
Language:Java 985
Aleph-Alpha / ts-rs
Generate TypeScript bindings from Rust types
code-generation rust types rust-to-typescript binding-generator bindings typescript
Language:Rust 937
dry-rb / dry-types
Flexible type system for Ruby with coercions and constraints
dry-rb types coercion constraints ruby
Language:Ruby 843
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
Language:TypeScript 767
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 760
monads
thames-technology / monads
Option, Result, and Either types for TypeScript - Inspired by Rust 🦀
monads javascript typescript types option result rust nodejs either node
Language:TypeScript 708
mvdan / interfacer
A linter that suggests interface types
go linter interface types
Language:Go 694
moltar / typescript-runtime-type-benchmarks
📊 Benchmark Comparison of Packages with Runtime Validation and TypeScript Support
typescript types benchmarks validation benchmark json typescript-support validation-library decoders runtypes
Language:TypeScript 568
dropbox / sqlalchemy-stubs
Mypy plugin and stubs for SQLAlchemy
types typing stubs mypy python sql sqlalchemy
Language:Python 563
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 552
mukul-rathi / bolt
Bolt is a language with in-built data-race freedom!
compilers data-race-freedom types concurrency static-analysis language
Language:OCaml 533
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 509
racket / typed-racket
Typed Racket
racket types
Language:Racket 508
oleiade / reflections
High level abstractions over the Go reflect library
go golang reflect reflection runtime types
Language:Go 504