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
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 5 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- Haskell library for semigroup actions and torsors☆64Updated 9 months ago
- Generate a command line client from a servant API☆28Updated last year
- higher-kinded data☆30Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 4 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated last month
- Existential type.☆37Updated 11 months ago
- Tools for functors from Hask^k to Hask☆23Updated 6 years ago
- Staged Streams and other stuff☆19Updated 3 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last year
- type level sets☆67Updated 6 years ago
- ☆41Updated 5 years ago
- Efficient parser combinators for Haskell☆39Updated this week
- A flexible Haskell API for querying the GitHub REST API☆14Updated last year
- Symbol manipulation☆37Updated 2 years ago
- Hackager tool for releasing Haskell packages to Hackage☆32Updated 2 months ago
- There are many category theory implementations, but this one is mine☆16Updated last year
- typing haskell in haskell☆18Updated 3 years ago
- A monad for managed values☆51Updated last week
- HLint as a GHC source plugin.☆31Updated last year
- rewrite rules for type-level equalities☆62Updated 3 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 8 months ago
- An efficient graph library for Haskell☆40Updated 3 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 4 months ago
- Safe web routing in haskell☆30Updated 2 years ago