mikeizbicki / parsed
a haskellified version of the classic sed unix tool
☆21Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for parsed
- Experiments on the construction of functions☆29Updated 8 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Implementation of Dynamic Time Warping in Haskell☆18Updated last year
- ☆26Updated 8 years ago
- Self-describing consumers/parsers☆42Updated 6 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆69Updated 8 years ago
- Terminal-based graphing via ANSI and Unicode☆24Updated 5 years ago
- A tool for caching cabal builds in a Nix store☆33Updated 8 years ago
- ☆10Updated 9 years ago
- being a slightly rethought version of the Frank implementation☆23Updated 8 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- ☆99Updated 6 years ago
- Cabal Sandbox manager☆14Updated 8 years ago
- ☆17Updated 2 years ago
- Install binary packages in a temporary Cabal sandbox☆16Updated 8 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆67Updated 14 years ago
- Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.☆15Updated 9 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Updated 9 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- ☆12Updated 4 years ago
- ☆28Updated 9 years ago
- ☆116Updated 9 years ago
- Small programs with unknown halting status.☆12Updated 8 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- ☆25Updated 8 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago