Quid2 / top
Haskell API for Top, the type oriented protocol.
☆12Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for top
- Robust persistence for typed immutable data☆18Updated 8 years ago
- ListT done right☆15Updated last year
- Cloud Haskell Supervision Trees☆11Updated 2 months ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Updated 8 years ago
- Yet another Haskell Prometheus client☆11Updated 7 years ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 5 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Pure Haskell client for the Mandrill JSON API☆17Updated 3 weeks ago
- A RWS like monad without the slow writer stuff☆12Updated last year
- Vector builder☆15Updated 11 months ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- keyed functors☆22Updated 4 months ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Updated 10 months ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- A text editor zipper libary☆17Updated last week
- Web frontend for GHC☆12Updated 4 years ago
- ☆24Updated last year
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 4 years ago
- A general abstraction for manipulating elements of container data structures☆11Updated last year
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago
- ST with efficient exceptions☆20Updated 8 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- fast unique variables☆10Updated 3 years ago
- IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl☆19Updated last year
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- ☆20Updated last year
- Haskell space profiling toolset☆14Updated 6 years ago