GaloisInc / json
Haskell JSON library
☆27Updated last year
Related projects: ⓘ
- Deep evaluation of data structures☆40Updated last week
- Wrap up Haskell tools☆15Updated 3 years ago
- ☆44Updated 6 months ago
- Haskell library for glob matching☆24Updated 2 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- A semantic highlighter for Idris code☆14Updated 6 years ago
- The most complete prelude formed only from the "base" package☆28Updated 11 months ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 10 months ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- Fixed length vector for haskell☆21Updated 5 months ago
- TODO☆10Updated 8 years ago
- Lightweight package providing commonly useful parser combinators☆52Updated 3 months ago
- LibSSH2 FFI bindings for Haskell☆26Updated 3 months ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆19Updated last month
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- Fast base64 encoding and decoding for Haskell.☆45Updated 11 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated last month
- ☆16Updated 4 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated 4 months ago
- Invertible parsing for S-expressions☆33Updated this week
- ☆26Updated 3 months ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated 11 months ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 2 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆60Updated last year
- Cursor data and manipulation☆21Updated 9 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago