bmillwood / stepevalLinks
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
Sorting:
- ☆125Updated last year
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆127Updated 8 years ago
- A high-performance striped resource pooling implementation for Haskell☆112Updated 3 years ago
- Regex-based parsing with an applicative interface☆129Updated 3 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 9 years ago
- A small web programming library on top of reactive-banana and virtual-dom☆79Updated 9 years ago
- ☆98Updated 7 years ago
- Learn you an Agda (and achieve enlightenment)☆315Updated 7 years ago
- Mutable hash tables for Haskell, in the ST monad☆129Updated 4 months ago
- Generic random generators☆81Updated 2 years ago
- Type-safe SQL interactions with PostgreSQL, based on Opaleye.☆54Updated 7 years ago
- An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.☆93Updated 11 months ago
- Test your Haskell code by exhaustively checking its properties☆136Updated 2 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Example uses of monads☆43Updated 6 years ago
- Create command line interfaces with ease☆41Updated 2 years ago
- constraint level if statements☆116Updated 7 years ago
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- dash docset builder for Haskell packages and cabal project dependencies☆78Updated 5 years ago
- Monitor cyclomatic complexity in Haskell programs☆98Updated 6 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 8 years ago
- Community-driven book on intermediate Haskell☆296Updated 10 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- A type-checker for Haskell with integer constraints☆40Updated 10 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- REST'ful web framework in Agda☆133Updated 14 years ago
- Logging framework for Haskell☆65Updated 2 months ago
- A mid-level client library for the MySQL database, intended to be fast and easy to use.☆92Updated last year