brianhempel / live-ghci
Evaluate special comments in your program on file save.
☆38Updated 4 years ago
Alternatives and similar repositories for live-ghci:
Users that are interested in live-ghci are comparing it to the libraries listed below
- Recursion schemes for Idris☆64Updated 6 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- Type-safe time units in Haskell☆49Updated 2 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Speculate laws about Haskell functions☆30Updated 2 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Generic Programming using True Sums of Products☆162Updated 3 months ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Comma (and other) separated values☆77Updated last year
- enumerative property-based testing for Haskell☆53Updated 2 months ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- Generic random generators☆81Updated 2 years ago
- ☆40Updated 5 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 5 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- ♾️ Sized list☆46Updated 10 months ago