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 96585
DefinitelyTyped / DefinitelyTyped
The repository for high quality TypeScript type definitions.
typescript definition dts types typings typescript-definitions hacktoberfest
Language:TypeScript 47302
python / mypy
Optional static typing for Python
linter python typechecker types typing
Language:Python 17612
sindresorhus / type-fest
A collection of essential TypeScript types
npm-package types typescript typescript-definitions utilities
Language:TypeScript 13325
microsoft / TypeChat
TypeChat is a library that makes it easy to build natural language interfaces using types.
ai llm natural-language types
Language:TypeScript 7886
ianstormtaylor / superstruct
A simple and composable way to validate data in JavaScript (and TypeScript).
validation types interface structs schema javascript typescript
Language:TypeScript 6834
gcanti / io-ts
Runtime type system for IO decoding/encoding
typescript validation inference types runtime
Language:TypeScript 6613
ts-toolbelt
millsp / ts-toolbelt
👷 TypeScript's largest type utility library
typescript types typescript-library type-checking dynamic-types type-utilities type-safety utility safety
Language:TypeScript 6481
google / pytype
A static type analyzer for Python code
python typing typechecker linter types static-analysis static-code-analysis
Language:Python 4623
python / typeshed
Collection of library stubs for Python, with static types
python stub types typing
Language:Python 4103
flow-typed
flow-typed / flow-typed
A central repository for Flow library definitions
cli flow flowtype hacktoberfest libdefs types
Language:JavaScript 3766
ts-essentials / ts-essentials
All essential TypeScript types in one place 🤙
typescript types essentials type-level-programming toolbox
Language:TypeScript 3587
sorbet / sorbet
A fast, powerful type checker designed for Ruby
ruby types sorbet
Language:Ruby 3537
typings / typings
*DEPRECATED* The TypeScript Definition Manager
typescript typings types javascript definition management
Language:TypeScript 3387
adelsz / pgtyped
pgTyped - Typesafe SQL in TypeScript
postgres typescript query generator types postgresql sql type-safety
Language:TypeScript 2819
schematics / schematics
Python Data Structures for Humans™.
python validation datastructures types schema serialization deserialization
Language:Python 2570
runtypes / runtypes
Runtime validation for static types
typescript runtime types validation
Language:TypeScript 2549
ezno
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
Language:Rust 2210
mypyc / mypyc
Compile type annotated Python to fast C extensions
python compiler types
1684
frenic / csstype
Strict TypeScript and Flow types for style based on MDN data
typescript types css style flow mdn
Language:TypeScript 1683
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 1547
typetools / checker-framework
Pluggable type-checking for Java
java types verification
Language:Java 988
Aleph-Alpha / ts-rs
Generate TypeScript bindings from Rust types
code-generation rust types rust-to-typescript binding-generator bindings typescript
Language:Rust 943
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
react component tree accessible dnd drag-and-drop search rename keyboard hotkeys unopinionated types typescript draggable
Language:TypeScript 769
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 712
mvdan / interfacer
A linter that suggests interface types
go linter interface types
Language:Go 693
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 574
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 551
mukul-rathi / bolt
Bolt is a language with in-built data-race freedom!
compilers data-race-freedom types concurrency static-analysis language
Language:OCaml 534
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 509
oleiade / reflections
High level abstractions over the Go reflect library
go golang reflect reflection runtime types
Language:Go 504