Showing entries 16901-17000 out of 18547.
Type-level serialization of type constructors
A collection of data types for type-level programming
Quasiquoters for the 'type-combinators' package
Interop between /type-combinators/ and /singletons/
Type-level Ord compatibility layer
Arbitrary-base type-level digits
Type equality evidence you can carry around
Type equality check
Tools for writing better type errors
Combinators for writing pretty type errors easily
Please see the README on GitHub at https://github.com/githubuser/type-flip#readme
Collection of widely reimplemented type families
Emulation of type-level functions
Guide type inference with proxy values
Queues with verified and unverified versions
Type Level 2s- and 16s- Complement Integers
Interpreter for Template Haskell types
Typeclasses for injective relations and isomorphisms between types
Type-level programming library
Type-level binary search trees in haskell
Tools for manipulating type-level bytes and bytestrings
Provides integers lifted to the type level
Type level Key-Value list
Make Esqueleto handy with type-level-kv-list
Make Persistent Raw SQL handy with type-level-kv-list
Simple type level natural numbers
High-level combinators for performing inductive operations
Basic operations on type-level natural numbers
Type level numbers implemented using type families
Type-level sets and finite maps (with value-level counterparts)
Utilities for writing Show-like type families
Type-level programming library (type families)
Operations on type-level lists and tuples
Type-indexed maps
Type-level natural and proofs of their properties
High performance type driven html generation
Optimize static parts of type-of-html
Various type-level operators
Type-level comparison operator
Generic type-level comparison of types
Partial port of prelude to the type level
Support functions to work with type representations
Classes for the rig (sums and products) of types
Type safe BST and AVL trees
Type set
Type-level sets
Sets and functions-as-relations in the type system
Type Level Specification by Example
A spine-view on types
Type structure analysis
Substitute types for other types with Template Haskell
Tree representations of datatypes
Type-level and typed unary natural numbers, inequality proofs, vectors
Mock functions and expressions anywhere
Automatic deriving of TypeableN instances with Template Haskell
DerivingVia Typeable counterpart to Generically
An implementation of LangChain in Haskell
Simple type check plugin which calculate addition, subtraction and less-or-equal-than
Simple type check plugin which calculate addition, subtraction and less-or-equal-than
Typing speed game
Type composition classes & instances
Admin console framework
Digits, indexed by their base at the type level
Thread delay and timeout functions with typed arguments
Type safe string transformations
Bridge between encoding and typed-encoding packages
A framework for strongly typed FSM
GUI framework based on typed-fsm
Run external processes, with strong typing of streams
A binding of the typed-process library for the effectful effect system
An efficient and versatile typed range library
Typed session framework
Automatically generate status for typed-session
Typed and composable spreadsheets
A stream based replacement for lists
A strongly typed way to handle time and date formats
Phantom-Typed version of UUID
Language-independent type-safe communication
Haskell utility library required for code generated by typed-wire compiler
Typed frontend to TensorFlow and higher-order deep learning
Parser for SQL augmented with types
Create a unique hash value for a type
TypeIlluminator is a prototype tool exploring debugging of type errors/
Plugin to faciliate type-level let
Useful type level operations (type families and related operators)
Solve type equalities using custom type-level rewrite rules
Tensors whose ranks and dimensions type-inferred and type-checked
Type level tools
Type-safe printf from parsing GHC TypeLits Symbol
Existential witnesses, singletons, and classes for operations on GHC TypeLits
Some Nat-indexed types for GHC
Type level numbers using existing Nat functionality
Small script for inferring types
Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
Efficient implementation of a dependent map with types as keys
Ghc-7.6/7.8 compatible GHC.TypeLits, Data
Enforce endianness with types
Type-safe transformations and purifications of PreCures (Japanese Battle Heroine)
A documentation generator for TypeScript Definition files