MedeaMelana / JsonGrammar2
☆27Updated 7 years ago
Related projects: ⓘ
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- A faster date and time library based on time☆46Updated 11 months ago
- Demonstrating comonad transformers.☆36Updated 7 years ago
- ☆39Updated 6 years ago
- ☆25Updated 8 years ago
- Simplified interface to the GHC API☆24Updated 5 years ago
- a lightweight CSS DSL for haskell☆23Updated 4 years ago
- ☆26Updated 8 years ago
- Standardized conversion between string types☆20Updated 2 years ago
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 9 months ago
- ☆22Updated 7 years ago
- A tool for caching cabal builds in a Nix store☆33Updated 8 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- :fork command for ghci☆21Updated 5 years ago
- ☆25Updated this week
- Type-safe library for generating haskell source code☆28Updated 6 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Updated 8 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Updated 9 years ago
- Relational algebra☆25Updated 7 years ago
- Composable monadic short-circuiting streaming folds☆19Updated 6 years ago
- Verified left pad☆19Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- haskell prof file CLI/Curses tool☆32Updated 7 years ago
- A HUnit/hspec assertion to verify that an expression does not typecheck☆42Updated 5 years ago
- Validate SQL statements created with postgresql-simple's quasiquoter☆18Updated 6 years ago
- Integration of the Warp webserver with Let's Encrypt☆18Updated 7 years ago