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:
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- Idris tactics for (commutative) monoids☆20Updated 5 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 3 weeks ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated this week
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Haskell 98 contravariant functors☆73Updated 8 months ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- ☆24Updated 8 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Advent of Code 2018 Solutions☆37Updated 5 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Advent of Code 2018 Solutions (Spoilers!)☆83Updated 7 months ago
- A more flexible mtl☆63Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- A recursion scheme library for Idris.☆25Updated last month
- A Distributed Computing Library in Haskell☆52Updated 8 years ago
- Search Haskell source code from the command line☆75Updated 4 years ago
- ALGT 2.0☆30Updated 5 years ago
- Haskell 98 comonads☆77Updated 3 months ago
- Static blog generator in Idris.☆40Updated 10 years ago