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:
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- ☆125Updated last year
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Generic random generators☆81Updated 2 years ago
- Create command line interfaces with ease☆41Updated 2 years ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆109Updated 8 years ago
- A high-performance striped resource pooling implementation for Haskell☆112Updated 3 years ago
- ☆98Updated 7 years ago
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆127Updated 8 years ago
- Learn you an Agda (and achieve enlightenment)☆315Updated 7 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.☆94Updated 11 months ago
- Example uses of monads☆43Updated 6 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- Mutable hash tables for Haskell, in the ST monad☆129Updated this week
- Test your Haskell code by exhaustively checking its properties☆136Updated 2 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 9 years ago
- Categories parametrized by morphism equality, in Agda☆150Updated 5 years ago
- ☆28Updated 10 years ago
- Type-safe SQL interactions with PostgreSQL, based on Opaleye.☆54Updated 7 years ago
- REST'ful web framework in Agda☆133Updated 14 years ago
- ide-backend drives the GHC API to build, query, and run your code☆119Updated 9 years ago
- A file watcher and development tool.☆130Updated 7 months ago
- Stack-based JSON interface to ide-backend☆98Updated 9 years ago
- A type-checker for Haskell with integer constraints☆40Updated 10 years ago
- constraint level if statements☆116Updated 7 years ago
- The Haskell Refactoring Tool☆138Updated 8 years ago
- ▁▂▃▅▂▇ Plot time series in your terminal in real-time☆43Updated 7 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago