230 Open Source Types Software Projects
Free and open source types code projects including engines, APIs, generators, and tools.
Typing 1122 ⭐
Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.
Gentype 723 ⭐
Spatie Typed 320 ⭐
Improvements to PHP's type system in userland: generics, typed lists, tuples and structs
Mypy Pycharm Plugin 290 ⭐
A simple plugin that allows running mypy from PyCharm and navigate between errors
Helios1138 Graphql Typed Client 207 ⭐
A tool that generates a strongly typed client library for any GraphQL endpoint. The client allows writing GraphQL queries as plain JS objects (with type safety, awesome code completion experience, custom scalar type mapping, type guards and more)
Phoenix Ecto Encryption Example 200 ⭐
🔐 A detailed example for how to encrypt data in a Phoenix (Elixir) App before inserting into a database using Ecto Types
Idaobjctypes 165 ⭐
A collection of types & functions definitions useful for Objective-C binaries analysis.
Tarpit Rs 169 ⭐
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
Row Types 100 ⭐
A Haskell library for open records and variants using closed type families and type literals
Scala Supertagged 97 ⭐
Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.
Typescript Runtime Type Benchmarks 185 ⭐
📊 Benchmark Comparison of Packages with Runtime Validation and TypeScript Support
Graphql Typed Document Node 227 ⭐
An improved version of `DocumentNode` for seamless TypeScript integration for GraphQL.
Purescript Ohyes 64 ⭐
A library for generating Typescript types that can be used transparently from Purescript.
Polkadot JS Common 90 ⭐
Utilities and base libraries for use across polkadot-js for Polkadot and Substrate. Includes base libraries, crypto helpers and cross-environment helpers. Full documentation & examples available.
Awesome Csv 45 ⭐
Awesome Comma-Separated Values (CSV) - What's Next? - Frequently Asked Questions (F.A.Q.s) - Libraries & Tools
Django Concurrency Talk 46 ⭐
🎭 Database Integrity in Django: Safely Handling Critical Data in Distributed Systems
Types And Programming Languages 89 ⭐
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Clause.js 29 ⭐