glguy / advent2017
Advent of Code 2017 solutions
☆27Updated 4 years ago
Alternatives and similar repositories for advent2017:
Users that are interested in advent2017 are comparing it to the libraries listed below
- 📤 defer instance resolution until runtime☆18Updated 5 years ago
- The greatest hits of https://gist.github.com/RyanGlScott☆11Updated 2 years ago
- Run cabal inside nix-shell☆14Updated 5 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- Modular arithmetic, promoting moduli to the type level☆24Updated 2 months ago
- ☆10Updated 4 years ago
- Damian Nadales's sandbox☆13Updated last year
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 8 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 6 years ago
- Dead simple setup tools for running a Haskell build matrix using stack for several versions.☆23Updated 7 years ago
- ZuriHac registration system☆22Updated last month
- Reasonable Haskell default import☆27Updated 2 years ago
- Verified left pad☆19Updated 6 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- A collection of Edward Kmett's packages in a single repository☆16Updated 4 years ago
- Source Layouting Engine☆11Updated 4 years ago
- A library for generic programming that aims to be easy to understand☆26Updated last week
- Haskell program configuration using higher kinded data☆29Updated 10 months ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- ScopeT and ScopeH☆13Updated 7 months ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- :fork command for ghci☆21Updated 6 years ago
- FoldMap lists☆12Updated 2 years ago
- Functions and newtype wrappers for traversing Trees☆30Updated 6 months ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- 15-819 (Homotopy Type Theory) Lecture Notes☆14Updated 7 years ago