nomeata / ghc-heap-view
Extract the heap representation of Haskell values and thunks
☆50Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for ghc-heap-view
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- the EitherT monad transformer☆55Updated 6 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- Haskell 98 contravariant functors☆73Updated last month
- High-performance JSON parser☆24Updated 6 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- haskell memory☆48Updated last year
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Monad morphisms☆47Updated 2 years ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- Haskell 98 Profunctors☆70Updated 4 months ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Concurrency for the pipes ecosystem☆43Updated 2 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- Transactional cache with configurable persistence☆48Updated last year
- Church-encoding of the Freer monad☆29Updated 8 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 3 weeks ago
- Filter with effects☆71Updated 3 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Dive into GHC☆82Updated 7 years ago