#types (30 Repositories)
Ranked open-source repositories tagged with #types, scored by pull request acceptance likelihood and maintainer engagement velocity.
31.1%
16.0h
30 repositories tagged #types
tstyche/tstyche
Everything You Need for Type Testing.
enthought/traits
Observable typed attributes for Python classes
three-types/three-ts-types
TypeScript types for the popular 3D library three.js
python/typeshed
Collection of library stubs for Python, with static types
dwyl/phoenix-ecto-encryption-example
🔐 A detailed example for how to encrypt data in an Elixir (Phoenix v1.7) App before inserting into a database using Ecto Types
ocsigen/eliom
Multi-tier framework for programming web and mobile applications in OCaml.
typetools/checker-framework
Pluggable type-checking for Java
sorbet/sorbet
A fast, powerful type checker designed for Ruby
DefinitelyTyped/DefinitelyTyped
The repository for high quality TypeScript type definitions.
LuxLang/lux
The Lux Programming Language
gleam-lang/stdlib
🎁 Gleam's standard library
well-typed/generics-sop
Generic Programming using True Sums of Products
mukul-rathi/bolt
Bolt is a language with in-built data-race freedom!
rescript-association/genType
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
target/row-types
A Haskell library for open records and variants using closed type families and type literals
metatypedev/metatype
Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.
dry-rb/dry-struct
Typed struct and value objects
accordproject/concerto
Business schema language and runtime
nishanths/exhaustive
Check exhaustiveness of switch statements of enum-like constants in Go source code.
nix-community/noogle
https://noogle.dev - nix function exploring. [maintainer=@hsjobeki]
PoomSmart/IDAObjcTypes
A collection of types & functions definitions useful for iOS/macOS binaries analysis.
dropbox/mypy-PyCharm-plugin
A simple plugin that allows running mypy from PyCharm and navigate between errors
roogle-rs/roogle
A Rust API search engine
yippee-fun/literal
A literal Ruby gem. 💎
stacksjs/dtsx
⚡ Extremely fast, smart & configurable DTS emitter.
gleam-lang/http
🕸️ Types and functions for HTTP clients and servers!
Iltotore/iron
Strong type constraints for Scala
Drup/tyre
Typed Regular Expressions
sorbet/sorbet-typed
A central repository for sharing type definitions for Ruby gems