mstksg / advent-of-code-2017
Advent of Code 2017 (Warning: Spoilers)
☆49Updated 2 years ago
Related projects: ⓘ
- Sonic the Hedgehog 2 in Haskell☆68Updated 2 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 4 years ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- Show Haskell type annotations when doing code review on Github☆142Updated 3 years ago
- Advent of Code 2018 Solutions (Spoilers!)☆83Updated 2 years ago
- 📚 A softer alternative to Haddock☆104Updated 4 years ago
- ☆47Updated 4 years ago
- Source for personal blog.☆77Updated last week
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- Text lenses using PCRE regexes☆126Updated 3 years ago
- a GHC.Generics-based entity component system☆78Updated 4 years ago
- A fast paced arcade game☆52Updated 4 years ago
- Check properties on standard classes and data structures☆79Updated 8 months ago
- sudoku solver in haskell☆41Updated 3 years ago
- High performance type safe html generation☆125Updated 2 years ago
- Template Haskell Workshop☆52Updated 2 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆59Updated 5 years ago
- A git-compatible content tracker in Haskell.☆66Updated 4 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Examples of tools for use in basic utility scripts☆51Updated 5 years ago
- Aligning characters for fun and profit, with Haskell and PureScript☆76Updated 6 years ago
- The home of the units Haskell package☆95Updated 7 months ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 4 years ago
- Interpreter for GHC Haskell☆22Updated 4 years ago
- Haskell bindings to the libui C library.☆47Updated 6 years ago
- constraint level if statements☆110Updated 6 years ago
- Rapid prototyping with GHCi☆55Updated 6 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated last year
- Exercism exercises in Idris.☆31Updated 2 weeks ago
- An aggregation of all online content related to Haskell.☆90Updated 6 years ago