mikeizbicki / parsed
a haskellified version of the classic sed unix tool
☆21Updated 9 years ago
Related projects: ⓘ
- Experiments on the construction of functions☆29Updated 8 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 7 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆67Updated 14 years ago
- ☆28Updated this week
- GNU bash backend for Idris☆53Updated 5 years ago
- ☆26Updated 8 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆69Updated 8 years ago
- Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.☆15Updated 8 years ago
- Units of measure as a GHC typechecker plugin☆30Updated last year
- Self-describing consumers/parsers☆42Updated 6 years ago
- ▁▂▃▅▂▇ Plot time series in your terminal in real-time☆43Updated 6 years ago
- Create command line interfaces with ease☆41Updated last year
- ☆28Updated 9 years ago
- Implementation of Dynamic Time Warping in Haskell☆18Updated last year
- Cabal Sandbox manager☆14Updated 8 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- ☆10Updated 9 years ago
- lazy continued fractions☆18Updated 9 years ago
- ☆14Updated this week
- ☆99Updated 6 years ago
- ELF data structures for Haskell☆24Updated last year
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated last week
- Automatically make lenses from data structures implementing Generic☆26Updated 9 years ago
- ☆11Updated this week
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Experiments with haskell neural networks☆11Updated 9 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago