| packages/nixpkgs/haskellPackages.gtk2hs-cast-glib | A type class for cast functions of Gtk2hs: glib package |
| packages/nixpkgs/haskellPackages.matrix-static | Type-safe matrix operations |
| packages/nixpkgs/haskellPackages.suitable | Abstract over the constraints on the parameters to type constructors |
| packages/nixpkgs/perl5Packages.SymbolGlobalName | Finds name and type of a global variable |
| packages/nixpkgs/texlivePackages.initials | Adobe Type 1 decorative initial fonts |
| packages/nixpkgs/haskellPackages.data-variant | A variant data type, useful for modeling dynamically-typed programming languages |
| packages/nixpkgs/haskellPackages.ttc_1_5_0_0 | Textual Type Classes |
| packages/nixpkgs/haskellPackages.hslua-classes | Type classes for HsLua |
| packages/nixpkgs/haskellPackages.aztecs-sdl-image | A type-safe and friendly Entity-Component-System (ECS) for Haskell |
| packages/nixpkgs/haskellPackages.language-tl | A Parser for the Type Language |
| packages/nixpkgs/haskellPackages.bind-marshal | Data marshaling library that uses type level equations to optimize buffering |
| packages/nixpkgs/haskellPackages.symbol-parser | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.storable | Storable type class for variable-sized data |
| packages/nixpkgs/haskellPackages.optional | Using type-classes for optional function arguments |
| packages/nixpkgs/perlPackages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/texlivePackages.ragged2e | Alternative versions of "ragged"-type commands |
| packages/nixpkgs/haskellPackages.COrdering | An algebraic data type similar to Prelude Ordering |
| packages/nixpkgs/haskellPackages.monoid-record | Support for modifying record fields of monoidal type |
| packages/nixpkgs/haskellPackages.red-black-record | Extensible records and variants indexed by a type-level Red-Black tree |
| packages/nixpkgs/haskellPackages.timeline | Data type representing a piecewise-constant function over time |
| packages/nixpkgs/haskellPackages.servant-dhall | Servant Dhall content-type |
| packages/nixpkgs/haskellPackages.sequence | A type class for sequences and various sequence data structures |
| packages/nixpkgs/texlivePackages.mlmodern | A blacker Type 1 version of Computer Modern, with multilingual support |
| packages/nixpkgs/texlivePackages.lastpage | Reference last page for Page N of M type footers |
| packages/nixpkgs/haskellPackages.numeric-kinds | Type-level numeric types and classes |
| packages/nixpkgs/perl540Packages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/perl538Packages.DataInteger | Details of the native integer data type |
| packages/nixpkgs/haskellPackages.convert-units | Arithmetic and type checked conversions between units |
| packages/nixpkgs/haskellPackages.fluffy-parser | The parser for fluffy to parsec the question bank in .docx type |
| packages/nixpkgs/haskellPackages.envelope | Defines generic 'Envelope' type to wrap reponses from a JSON API |
| packages/nixpkgs/haskellPackages.musicxml | MusicXML format encoded as Haskell type and functions of reading and writting |
| packages/nixpkgs/haskellPackages.tagged-binary | Provides tools for serializing data tagged with type information |
| packages/nixpkgs/haskellPackages.protocol | Model distributed system as type-level multi-party protocol |
| packages/nixpkgs/texlivePackages.sanskrit-t1 | Type 1 version of 'skt' fonts for Sanskrit |
| packages/nixpkgs/haskellPackages.intelli-monad | Type level prompt with LLMs via louter |
| packages/nixpkgs/haskellPackages.ban-instance | For when a type should never be an instance of a class |
| packages/nixpkgs/haskellPackages.comfort-graph | Graph structure with type parameters for nodes and edges |
| packages/nixpkgs/haskellPackages.dynamic-state | Optionally serializable dynamic state keyed by type |
| packages/nixpkgs/perl5Packages.DispatchClass | Dispatch on the type (class) of an argument |
| packages/nixpkgs/texlivePackages.carolmin-ps | Adobe Type 1 format of Carolingian Minuscule fonts |
| packages/nixpkgs/haskellPackages.aeson-schemas | Easily consume JSON data on-demand with type-safety |
| packages/nixpkgs/haskellPackages.web-view_0_7_1 | Type-safe HTML and CSS with intuitive layouts and composable styles |
| packages/nixpkgs/haskellPackages.gtk2hs-cast-glade | A type class for cast functions of Gtk2hs: glade package |
| packages/nixpkgs/haskellPackages.haskell-holes-th | Infer haskell code by given type |
| packages/nixpkgs/haskellPackages.dormouse-uri | Library for type-safe representations of Uri/Urls |
| packages/nixpkgs/haskellPackages.union_0_1_3 | Extensible type-safe unions |
| packages/nixpkgs/haskellPackages.abstract-par | Type classes generalizing the functionality of the 'monad-par' library |
| packages/nixpkgs/haskellPackages.freer-indexed | Freer indexed monad for type-level resource-aware effectual operations |
| packages/nixpkgs/haskellPackages.barrier-monad | Implementation of barrier monad, can use custom front/back type |
| packages/nixpkgs/haskellPackages.yesod-content-pdf | PDF Content Type for Yesod |
| packages/nixpkgs/haskellPackages.Control-Monad-ST2 | A variation on the ST monad with two type parameters |
| packages/nixpkgs/haskellPackages.amazonka-mtl | MTL-style type-class and deriving-via newtypes for Amazonka |
| packages/nixpkgs/perlPackages.ParamsClassify | Argument type classification |
| packages/nixpkgs/haskellPackages.goal-geometry | The basic geometric type system of Goal |
| packages/nixpkgs/haskellPackages.ghc-tcplugin-api | An API for type-checker plugins |
| packages/nixpkgs/haskellPackages.nat-sized-numbers | Variable-sized numbers from type-level nats |
| packages/nixpkgs/haskellPackages.storable-enum | Wrapper that makes any Enum type Storable |
| packages/nixpkgs/perlPackages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| packages/nixpkgs/oldstandard | Attempt to revive a specific type of Modern style of serif typefaces |
| packages/nixpkgs/chickenPackages_5.chickenEggs.record-vector | The dumb simple inplace data records without type tag. |
| packages/nixpkgs/haskellPackages.derive-topdown | Derive type class instances |
| packages/nixpkgs/haskellPackages.closed-classes | Closed type class declarations |
| packages/nixpkgs/haskellPackages.data-filepath | A type safe file path data structure |
| packages/nixpkgs/haskellPackages.kind-rational | Type-level rationals |
| packages/nixpkgs/inconsolata | Monospace font for both screen and print |
| packages/nixpkgs/haskellPackages.NestedFunctor | Nested composition of functors with a type index tracking nesting |
| packages/nixpkgs/haskellPackages.language-spir-v | Data type for SPIR-V |
| packages/nixpkgs/haskellPackages.safer-file-handles | Type-safe file handling |
| packages/nixpkgs/perl5Packages.ParamsClassify | Argument type classification |
| packages/nixpkgs/haskellPackages.failable-list | A list-like type for lazy streams, which might terminate with an error |
| packages/nixpkgs/haskellPackages.monoidmap | Monoidal map type |
| packages/nixpkgs/haskellPackages.time-interval | Use a time unit class, but hold a concrete time type |
| packages/nixpkgs/perl5Packages.EmailMIMEContentType | Parse and build a MIME Content-Type or Content-Disposition Header |
| packages/nixpkgs/haskellPackages.homotuple | Homotuple, all whose elements are the same type |
| packages/nixpkgs/haskellPackages.matchable | A type class for Matchable Functors |
| packages/nixpkgs/haskellPackages.lambdatex | Type-Safe LaTeX EDSL |
| packages/nixpkgs/haskellPackages.oneormore | A never-empty list type |
| packages/nixpkgs/haskellPackages.natural-number | Natural numbers tagged with a type-level representation of the number |
| packages/nixpkgs/haskellPackages.unlifted-list | GHC Haskell lists of non-thunks (things of kind TYPE 'UnliftedRep) |
| packages/nixpkgs/haskellPackages.unpacked-these | An unpacked these data type |
| packages/nixpkgs/haskellPackages.javelin-frames | Type-safe data frames based on higher-kinded types |
| packages/nixpkgs/telepathy-farstream | GObject-based C library that uses Telepathy GLib, Farstream and GStreamer to handle the media streaming part of channels of type Call |
| packages/nixpkgs/haskellPackages.multi-instance | Typeclasses augmented with a phantom type parameter |
| packages/nixpkgs/akkuPackages.dataframe | A dataframe record type for Scheme (R6RS) with procedures to select, drop, and rename columns, and filter, sort, split, bind, append, join, reshape, and aggregate dataframes. |
| packages/nixpkgs/haskellPackages.lambda-options | Declarative command-line parser with type-driven pattern matching |
| packages/nixpkgs/haskellPackages.libffi-dynamic | LibFFI interface with dynamic bidirectional type-driven binding generation |
| packages/nixpkgs/haskellPackages.fixedprec | A fixed-precision real number type |
| packages/nixpkgs/haskellPackages.enumerate | enumerate all the values in a finite type (automatically) |
| packages/nixpkgs/haskellPackages.servant-proto-lens | Servant Content-Type for proto-lens protobuf modules |
| packages/nixpkgs/haskellPackages.unpacked-maybe | An unpacked maybe data type |
| packages/nixpkgs/haskellPackages.symparsec | Type level string parser combinators |
| packages/nixpkgs/haskellPackages.saferoute | A simple type-safe routing library |
| packages/nixpkgs/haskellPackages.separated | A data type with elements separated by values |
| packages/nixpkgs/haskellPackages.webgear-server | Composable, type-safe library to build HTTP API servers |
| packages/nixpkgs/haskellPackages.open-adt-tutorial | Open algebraic data type examples |
| packages/nixpkgs/haskellPackages.functora-witch | Convert values from one type into another |
| packages/nixpkgs/haskellPackages.groundhog | Type-safe datatype-database mapping library |
| packages/nixpkgs/haskellPackages.streaming | an elementary streaming prelude and general stream type |
| packages/nixpkgs/haskellPackages.vector-space-points | A type for points, as distinct from vectors |
| packages/nixpkgs/haskellPackages.numbering | Combinators for creating bijections from some type to the natural numbers |