emilypi / orderLinks
Order theory
☆25Updated 2 years ago
Alternatives and similar repositories for order
Users that are interested in order are comparing it to the libraries listed below
Sorting:
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Haskell library for semigroup actions and torsors☆64Updated 10 months ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 5 months ago
- type level sets☆67Updated 6 years ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last year
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated last year
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated this week
- high-powered optics in a small package☆53Updated 2 months ago
- Symbol manipulation☆37Updated 2 years ago
- Icicle Streaming Query Language☆28Updated last month
- higher-kinded data☆30Updated 2 years ago
- ☆41Updated 5 years ago
- Existential type.☆37Updated 11 months ago
- Tools for functors from Hask^k to Hask☆23Updated 6 years ago
- Kleene algebra, regular expressions☆33Updated 2 years ago
- Generate a command line client from a servant API☆28Updated last year
- Minimal binary serialization library with focus on performance☆25Updated 5 months ago
- Hackager tool for releasing Haskell packages to Hackage☆32Updated 3 months ago
- An efficient graph library for Haskell☆40Updated 3 months ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 9 months ago
- An interface for GHC type-checking plugins☆21Updated 2 months ago
- Haskell time library focusing on performance☆59Updated 3 weeks ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated last year
- a modern library for typed path manipulation in Haskell☆36Updated 4 months ago
- ☆18Updated 4 years ago