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
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 8 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Advent of Code 2018 Solutions☆37Updated 5 years ago
- Haskell + Azure DevOps Demo☆30Updated 4 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Updated 8 years ago
- ☆19Updated 6 years ago
- Classic games recreated in netwire☆94Updated 8 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- ☆111Updated last year
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- Cofun with Cofree Comonads☆32Updated 8 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Specify Servant routes with records☆87Updated 6 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- Open records for Haskell☆22Updated 7 years ago
- An implementation of the game Love Letter in the terminal, written in Haskell.☆16Updated 6 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Haskell library for simple, concise and fast generic operations.☆80Updated last year
- Generic random generators☆81Updated 2 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Quake 3 map viewer in Haskell using GPipe☆31Updated 7 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- A Haskell API into HTML5 Canvas☆71Updated 3 weeks ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago