glguy / advent2016
☆11Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for advent2016
- Advent of Code 2017 solutions☆27Updated 3 years ago
- Examples of polyvariadic functions in Haskell.☆34Updated 9 years ago
- HTML tables for yesod☆14Updated 7 years ago
- Classic games recreated in netwire☆94Updated 7 years ago
- Advent of Code 2017 (Warning: Spoilers)☆49Updated this week
- A simple starter project for building Reflex applications with Stack.☆36Updated 8 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 7 years ago
- ☆26Updated 8 years ago
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 7 years ago
- Simplified interface to the GHC API☆24Updated 5 years ago
- A Haskell API into HTML5 Canvas☆72Updated 3 weeks ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 3 years ago
- An example of reflex-dom built by Stack☆23Updated 8 years ago
- Testing with monadic side-effects☆33Updated 3 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- A full-stack Haskell web application starter project.☆43Updated 7 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- Conway's game of life in 100 lines or less!☆34Updated 7 years ago
- A simple Idris program to blink the LED on an Arduino☆56Updated 3 years ago
- Example uses of monads☆43Updated 5 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- Haskell library for PDF generation (graphics and typesetting)☆26Updated 5 years ago
- Incubator for my Haskell libraries☆20Updated 6 years ago
- Minimalistic Markdown viewer/converter with built-in Css stylesheets support.☆26Updated 7 years ago
- ☆13Updated last year
- Static blog generator in Idris.☆39Updated 9 years ago
- 2048 in Idris☆121Updated 6 years ago
- A hack to find types in Haskell codebases☆11Updated 9 years ago
- Verified left pad☆19Updated 6 years ago