Showing entries 16701-16800 out of 18345.
Twitter JSON types (lens powered)
Reader for the 2bit file format
An implementation of the Twofish Symmetric-key cipher
Persistent transactions on top of STM
Text
The SQL link in your *NIX chain
Filter to convert plain text files to RTF
Deprecated in favor of eros
Typed type representations and equality proofs
Template Your Boilerplate - a Template Haskell version of SYB
Provide proof witnesses for closed type family evaluation
Analyzes Haskell source files for easy reference
Various type-aligned sequence data structures
Runtime type assertions for testing
Type-level booleans via type-families
Utilities for caching type families results
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
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