GaloisInc / json
Haskell JSON library
☆27Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for json
- Deep evaluation of data structures☆41Updated 2 months ago
- Haskell library for glob matching☆25Updated 2 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 5 months ago
- ☆44Updated 2 months ago
- The most complete prelude formed only from the "base" package☆28Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Cursor data and manipulation☆21Updated 11 months ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- ☆16Updated 4 years ago
- User-contributed extensions to diagrams☆27Updated 3 weeks ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated 2 months ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Platform-independent library for basic file system operations☆58Updated 2 weeks ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- phantom types☆37Updated 2 months ago
- Web front UI for interactive Haskell projects☆34Updated 4 years ago
- Transactional cache with configurable persistence☆48Updated last year
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- Write type-safe shell scripts in Haskell☆14Updated 4 years ago
- ☆23Updated 6 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- A simple build system for Idris☆22Updated 3 years ago
- ☆20Updated 5 years ago