COLLECTED BY
Organization:
Internet Archive
Focused crawls are collections of frequently-updated webcrawl data from narrow (as opposed to broad or wide) web crawls, often focused on a single domain or subdomain.
The Wayback Machine - https://web.archive.org/web/20200718085307/https://github.com/topics/types
Here are
581 public repositories
matching this topic...
✅ The Node.js best practices list (July 2020)
Updated
Jul 15, 2020
JavaScript
The repository for high quality TypeScript type definitions.
Updated
Jul 18, 2020
TypeScript
Optional static typing for Python 3 and 2 (PEP 484)
Updated
Jul 18, 2020
Python
A simple and composable way to validate data in JavaScript (or TypeScript).
Updated
Jul 15, 2020
TypeScript
*DEPRECATED* The TypeScript Definition Manager
Updated
Jul 24, 2017
TypeScript
Runtime type system for IO decoding/encoding
Updated
Jul 16, 2020
TypeScript
A static type analyzer for Python code
Updated
Jul 15, 2020
Python
A collection of essential TypeScript types
Updated
Jun 29, 2020
TypeScript
Python Data Structures for Humans™.
Updated
Apr 25, 2020
Python
A fast, powerful type checker designed for Ruby
Updated
Jul 18, 2020
Ruby
👷 Higher Type Safety for TypeScript
Updated
Jul 16, 2020
TypeScript
Runtime validation for static types
Updated
Jul 16, 2020
TypeScript
The Lux Programming Language
Updated
Jul 17, 2020
Clojure
PgTyped - Typesafe SQL in TypeScript
Updated
Jul 17, 2020
TypeScript
All basic TypeScript types in one place 🤙
Updated
Jul 17, 2020
TypeScript
Work related to PEP 484: typing.py (released via PyPI) and issue tracker
Updated
Jul 13, 2020
Python
A linter that suggests interface types
Flexible type system for Ruby with coercions and constraints
Updated
Jun 24, 2020
Ruby
Strict TypeScript and Flow types for style based on MDN data
Updated
Jul 16, 2020
TypeScript
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Updated
Jul 15, 2020
Reason
Updated
Jul 18, 2020
Racket
Improvements to PHP's type system in userland: generics, typed lists, tuples and structs
Shape-Safe Differentiable Programming with Algebraic Data Types
Updated
Jun 28, 2020
Kotlin
Programming language agnostic type construction language based on polynomials.
Updated
Jul 11, 2020
Idris
A central repository for sharing type definitions for Ruby gems
Updated
Jul 17, 2020
Ruby
Mypy plugin and stubs for SQLAlchemy
Updated
Jul 7, 2020
Python
Immutable and structurally typed data
Updated
Sep 5, 2018
JavaScript
A simple plugin that allows running mypy from PyCharm and navigate between errors
Updated
Nov 20, 2019
Java
Typed struct and value objects
Updated
Jun 24, 2020
Ruby
Updated
Jul 6, 2020
JavaScript
Improve this page
Add a description, image, and links to the
types
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
types
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.