ephemient / aoc2018Links
Advent of Code 2018 - my answers
☆14Updated 6 years ago
Alternatives and similar repositories for aoc2018
Users that are interested in aoc2018 are comparing it to the libraries listed below
Sorting:
- Advent of Code 2019 solutions☆43Updated 3 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 8 years ago
- Classic games recreated in netwire☆94Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Declare and access tuple fields with labels☆58Updated 6 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- ☆111Updated 2 weeks ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Getting more out of your transformers with classy optics. Slides from my BFPG talk on 2015-06-09☆32Updated 10 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆70Updated last week
- A more flexible mtl☆63Updated 7 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Haskell ODBC binding with SQL Server support☆45Updated last year
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆103Updated 4 months ago
- ☆24Updated 8 years ago
- Cofun with Cofree Comonads☆32Updated 9 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Updated 6 years ago
- Conway's game of life in 100 lines or less!☆35Updated 7 years ago
- ☆14Updated 7 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- A simple XML module for Idris.☆13Updated 5 years ago
- An implementation of the game Love Letter in the terminal, written in Haskell.☆16Updated 6 years ago
- Simplified interface to the GHC API☆22Updated 6 years ago
- ☆41Updated 5 years ago
- Example uses of monads☆43Updated 6 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- A convenient DSL for describing web routes☆42Updated 4 years ago