🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
Typed Racket
High level abstractions over the Go reflect library
Solutions for the collection of TypeScript type challenges with explanat...
Observable typed attributes for Python classes
Strong type constraints for Scala
Typed struct and value objects
A central repository for sharing type definitions for Ruby gems
The Type Linter for JS
Programming language agnostic type construction language based on polyno...
Improvements to PHP's type system in userland: generics, typed lists, tu...
A simple plugin that allows running mypy from PyCharm and navigate betwe...
https://noogle.dev - nix function exploring. [maintainer=@hsjobeki]
A collection of types & functions definitions useful for Objective-C bin...
Multi-tier framework for programming web and mobile applications in OCaml.