bmillwood / stepeval
A program for evaluating a Haskell expression step-by-step
☆50Updated 8 years ago
Alternatives and similar repositories for stepeval:
Users that are interested in stepeval are comparing it to the libraries listed below
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆127Updated 8 years ago
- ☆125Updated last year
- A high-performance striped resource pooling implementation for Haskell☆112Updated 2 years ago
- An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.☆93Updated 9 months ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- dash docset builder for Haskell packages and cabal project dependencies☆78Updated 5 years ago
- OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine☆179Updated 12 years ago
- Learn you an Agda (and achieve enlightenment)☆315Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Haskell 98 semigroups☆62Updated 2 years ago
- Generic random generators☆81Updated 2 years ago
- A small web programming library on top of reactive-banana and virtual-dom☆79Updated 9 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 8 years ago
- A type-checker for Haskell with integer constraints☆40Updated 10 years ago
- Test your Haskell code by exhaustively checking its properties☆136Updated last year
- The Haskell Refactoring Tool☆136Updated 5 years ago
- The Haskell Refactoring Tool☆138Updated 7 years ago
- Stack-based JSON interface to ide-backend☆98Updated 9 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated last year
- Create command line interfaces with ease☆41Updated 2 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 9 years ago
- Logging framework for Haskell☆65Updated last month
- A file watcher and development tool.☆129Updated 5 months ago
- Efficient hashing-based container types☆221Updated 11 months ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆108Updated 7 years ago
- Example uses of monads☆43Updated 6 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- A wrapper program around cabal and cabal-install that maintains sandboxed build environments.☆149Updated 10 years ago
- Type-safe SQL interactions with PostgreSQL, based on Opaleye.☆54Updated 7 years ago