Topic: types Goto Github
Some thing interesting about types
Some thing interesting about types
types,pgTyped - Typesafe SQL in TypeScript
User: adelsz
Home Page: https://pgtyped.dev
types,Generate TypeScript bindings from Rust types
Organization: aleph-alpha
types,𧩠Shape-Safe Symbolic Differentiation with Algebraic Data Types
User: breandan
Home Page: https://breandan.net/public/masters_thesis.pdf#page=49
types,The repository for high quality TypeScript type definitions.
Organization: definitelytyped
types,An improved version of `DocumentNode` for seamless TypeScript integration for GraphQL.
User: dotansimha
Home Page: https://the-guild.dev/blog/typed-document-node
types,Mypy plugin and stubs for SQLAlchemy
Organization: dropbox
types,Typed struct and value objects
Organization: dry-rb
Home Page: https://dry-rb.org/gems/dry-struct
types,Flexible type system for Ruby with coercions and constraints
Organization: dry-rb
Home Page: https://dry-rb.org/gems/dry-types
types,Observable typed attributes for Python classes
Organization: enthought
types,A central repository for Flow library definitions
Organization: flow-typed
Home Page: https://flow-typed.github.io/flow-typed/
types,Runtime type system for IO decoding/encoding
User: gcanti
Home Page: https://gcanti.github.io/io-ts/
types,The Type Linter for JS
User: getify
Home Page: https://TypL.dev
types,Solutions for the collection of TypeScript type challenges with explanations
User: ghaiklor
Home Page: https://ghaiklor.github.io/type-challenges-solutions/
types,:white_check_mark: The Node.js best practices list (February 2024)
User: goldbergyoni
Home Page: https://twitter.com/nodepractices/
types,A static type analyzer for Python code
Organization: google
Home Page: https://google.github.io/pytype
types,A simple and composable way to validate data in JavaScript (and TypeScript).
User: ianstormtaylor
Home Page: https://docs.superstructjs.org
types,Strong type constraints for Scala
User: iltotore
Home Page: https://iltotore.github.io/iron/docs/
types,A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
User: kaleidawave
Home Page: https://kaleidawave.github.io/posts/introducing-ezno/
types,Unopinionated Accessible Tree Component with Multi-Select and Drag-And-Drop
User: lukasbach
Home Page: https://rct.lukasbach.com
types,The Lux Programming Language
Organization: luxlang
types,TypeChat is a library that makes it easy to build natural language interfaces using types.
Organization: microsoft
Home Page: https://microsoft.github.io/TypeChat/
types,π· TypeScript's largest type utility library
User: millsp
Home Page: https://millsp.github.io/ts-toolbelt/
types,A programming language designed for typescript type generation
User: mistlog
Home Page: https://mistlog.github.io/typetype-playground/
types,π Benchmark Comparison of Packages with Runtime Validation and TypeScript Support
User: moltar
Home Page: https://moltar.github.io/typescript-runtime-type-benchmarks/
types,Bolt is a language with in-built data-race freedom!
User: mukul-rathi
types,High level abstractions over the Go reflect library
User: oleiade
Home Page: https://pkg.go.dev/github.com/oleiade/reflections
types,Optional static typing for Python
Organization: python
Home Page: https://www.mypy-lang.org/
types,Python static typing home. Hosts the documentation and a user help forum.
Organization: python
Home Page: https://typing.readthedocs.io/
types,Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Organization: rescript-association
Home Page: https://rescript-lang.org/docs/gentype/latest/introduction
types,A Rust API search engine
Organization: roogle-rs
Home Page: https://roogle.hkmatsumoto.com
types,Runtime validation for static types
Organization: runtypes
types,Python Data Structures for Humansβ’.
Organization: schematics
Home Page: http://schematics.readthedocs.org/
types,A collection of essential TypeScript types
User: sindresorhus
types,π» Option, Result, and Either types for TypeScript; Inspired by Rust
Organization: sniptt-official
types,A central repository for sharing type definitions for Ruby gems
Organization: sorbet
Home Page: https://sorbet.org/docs/rbi#hand-written-rbis-for-gems
types,Data interchange with algebraic data types.
User: stepchowfun
types,Typed argument parser for Python
User: swansonk14
types,All essential TypeScript types in one place π€
Organization: ts-essentials
types,Programming language agnostic type construction language based on polynomials.
Organization: typedefs
Home Page: http://typedefs.com/
types,Pluggable type-checking for Java
Organization: typetools
Home Page: http://checkerframework.org/
types,*DEPRECATED* The TypeScript Definition Manager
Organization: typings
types,Additional types and types adjusted utilities for TypeScript
User: unional
Home Page: https://unional.github.io/type-plus/
types,Strict TypeScript types for Ethereum ABIs
Organization: wevm
Home Page: https://abitype.dev
types,A simple and fully customizable React Native component that implements a status/stories feature similar to Whatsapp & Instagram ββ¨π
User: yuvraj24
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.