phadej / topographLinks
Directed Acyclic Graphs
☆21Updated 6 months ago
Alternatives and similar repositories for topograph
Users that are interested in topograph are comparing it to the libraries listed below
Sorting:
- Dependently-typed finite maps (partial dependent products)☆66Updated 5 months ago
- Haskell time library focusing on performance☆57Updated 3 weeks ago
- Maps using values' monoidal structure during merging☆42Updated 4 months ago
- Surgery for generic data types☆25Updated 4 years ago
- Hackager tool for releasing Haskell packages to Hackage☆31Updated 2 months ago
- a modern library for typed path manipulation in Haskell☆36Updated last week
- Fine-grained lattice primitives for Haskell☆37Updated last month
- the 'invariant' Haskell package for invariant functors☆16Updated 5 months ago
- higher-kinded data☆30Updated 2 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Uniform interface to reified data type information via Template Haskell☆21Updated 5 months ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 6 months ago
- ☆21Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Haskell library of row polymorphic record manipulator☆23Updated 4 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 11 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Library and utility for processing cabal's plan.json file☆39Updated last week
- High-performance JSON parser☆26Updated 3 weeks ago
- tools for writing better type errors☆73Updated last year
- Extensible type-safe unions for Haskell☆34Updated 4 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Kleene algebra, regular expressions☆32Updated last year
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 3 months ago
- Session Types with Priority in Linear Haskell☆27Updated last year
- Experimental implementation of generic record subtyping☆18Updated last year