Simple refinement types for Scala
Documentation for extending Visual Studio with new types of projects.
This room has moved: https://gitter.im/typelevel/spire
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.