purcell / adventofcode2016
Advent of Code 2016, in Haskell
☆15Updated 7 years ago
Alternatives and similar repositories for adventofcode2016:
Users that are interested in adventofcode2016 are comparing it to the libraries listed below
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Get the Haskell documentation of a name from a module☆31Updated 5 years ago
- Miscellaneous constructions on monoids☆18Updated last week
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- Fixed length vector for haskell☆21Updated last month
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- A Haskell library to pretty print data in a tabular format☆11Updated 6 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated 3 weeks ago
- ☆23Updated 7 years ago
- List monad transformer☆60Updated 9 months ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- An implementation of the Core language☆30Updated 9 years ago
- JVM implementation in Haskell☆44Updated 5 months ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 4 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 5 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- ☆15Updated 7 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago