ku-fpg / hood
Hood debugger, based on the idea of observing functions and structures as they are evaluated.
☆19Updated 6 years ago
Alternatives and similar repositories for hood:
Users that are interested in hood are comparing it to the libraries listed below
- Haskell library for glob matching☆25Updated 3 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 weeks ago
- More strongly typed variant of the ixset Haskell package☆24Updated 8 months ago
- Deep evaluation of data structures☆41Updated 7 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- the EitherT monad transformer☆55Updated last month
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last month
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 5 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 2 months ago
- 📶 - Elm style FRP library for Haskell☆16Updated 6 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Haskell types and parsers for software version numbers.☆20Updated 2 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- phantom types☆38Updated 2 months ago
- ☆23Updated 7 years ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Updated 9 years ago
- Type-safe time units in Haskell