gdevanla / pptable
A Haskell library to pretty print data in a tabular format
☆11Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for pptable
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 2 weeks ago
- IO without any PseudoExceptions☆28Updated 4 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 5 months ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated 3 weeks ago
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 4 years ago
- a simple functional language for learners☆30Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated 2 months ago
- phantom types☆37Updated 2 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Dual Traversable☆41Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last month
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated last month
- A type safe file path data structure.☆10Updated 8 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago