nomeata / ghc-heap-view
Extract the heap representation of Haskell values and thunks
☆50Updated last year
Alternatives and similar repositories for ghc-heap-view:
Users that are interested in ghc-heap-view are comparing it to the libraries listed below
- Some useful control operators for looping☆48Updated 4 years ago
- Haskell 98 Profunctors☆71Updated 8 months ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated last week
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- Haskell 98 contravariant functors☆73Updated 4 months ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Serializable closures for distributed programming.☆64Updated last year
- Lightweight package providing commonly useful parser combinators☆53Updated last month
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- An extension to Data.Serialize with built-in version control☆59Updated this week
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- ☆44Updated last week
- the EitherT monad transformer☆55Updated last week
- A collection of Notes on GHC☆69Updated 5 years ago
- Pre-processor for .hsc files☆40Updated last month
- ☆45Updated 3 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- Build tool for ATS.☆41Updated 2 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- ☆74Updated last week
- Clojure-style transients for Haskell☆32Updated 2 years ago
- MPFR bindings for Haskell☆34Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- haskell memory☆48Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A general purpose programming language with linear types☆44Updated 8 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago