Powerful new number types and numeric abstractions for Scala.

Documentation for extending Visual Studio with new types of projects.

Simple refinement types for Scala

Generates Java types from JSON Schema (or example JSON) and annotates those types for data-binding with Jackson 1.x or 2.x, Gson, etc

Types for HTTP and related standards

EDAM is an ontology of bioinformatics operations, topics, types of data including identifiers, and formats.

Dependencies as types

Weakly is a collection of some useful weak-reference types.

Types.Hexadecimal is a library providing simple types and extensions to support hexadecimal (hex) numeral system.