ploeh / advent-of-code-2017Links
Solutions for Advent of Code 2017
☆15Updated 7 years ago
Alternatives and similar repositories for advent-of-code-2017
Users that are interested in advent-of-code-2017 are comparing it to the libraries listed below
Sorting:
- A .NET Bridge for Haskell☆25Updated 9 years ago
- A Common Intermediate Language backend for Idris 1☆134Updated 7 years ago
- XSharpX is a general library for functional programming using .NET languages.☆30Updated 9 years ago
- Setting up an Idris dev environment on Windows☆16Updated 6 years ago
- Cloud Haskell Demonstration☆18Updated 10 years ago
- Experimental event store database entirely written in Haskell☆31Updated 8 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 9 years ago
- A dumb tool to mirror changes in a directory between hosts☆13Updated 8 years ago
- Exercism exercises in Coq.☆19Updated last year
- Haskell library abstracting common network sockets usage patterns.☆32Updated 2 years ago
- Unicode alternatives for common functions and operators☆36Updated 4 years ago
- ☆19Updated 6 years ago
- Portal to Haskell Debugging System☆60Updated 7 years ago
- A Drum Machine DSL for Haskell☆95Updated 6 years ago
- Haskell binding for Gremlin graph query language☆27Updated 6 months ago
- Play 2048 from the command line /terminal !☆45Updated 8 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- Haskell library for PDF generation (graphics and typesetting)☆27Updated 6 years ago
- Cross platform haskell library for using the serial port☆43Updated 5 years ago
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Updated 9 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆30Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Just a place to throw general notes that don't belong to any particular library☆21Updated 11 years ago
- Get your IO right on the first try☆55Updated last week
- Braid representations in Haskell☆21Updated last year
- Dynamic network FRP with events and continuous values☆52Updated 5 years ago
- A web audio player demo using Halogen for skipping in different increments☆20Updated 7 years ago
- ☆15Updated 7 years ago
- Isometric rendering for PureScript☆58Updated 5 years ago