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 8 years ago
- Experimental event store database entirely written in Haskell☆30Updated 7 years ago
- A Common Intermediate Language backend for Idris 1☆133Updated 6 years ago
- XSharpX is a general library for functional programming using .NET languages.☆30Updated 8 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 7 years ago
- Multi-stage Programming in F#☆12Updated 9 years ago
- Manipulating Common Intermediate Language AST in Haskell☆22Updated 8 years ago
- A collection of old versions of the Haskell Report☆12Updated 7 years ago
- Haskell integration for Visual Studio☆22Updated 10 years ago
- Haskell ODBC binding with SQL Server support☆45Updated last year
- Setting up an Idris dev environment on Windows☆16Updated 5 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- FsCheckUtils adds FsCheck utilities aimed at C# developers and adds some things from ScalaCheck e.g. someof and pick☆10Updated 9 years ago
- Smuggle arbitrary values in ()☆12Updated 2 years ago
- A more flexible mtl☆63Updated 7 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Haskell library abstracting common network sockets usage patterns.☆33Updated last year
- Just a place to throw general notes that don't belong to any particular library☆21Updated 10 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆29Updated 6 years ago
- Install everything.☆20Updated 6 years ago
- An experiment at expressing functors in F# the .NET type system.☆17Updated 11 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Play 2048 from the command line /terminal !☆43Updated 7 years ago
- Classic games recreated in netwire☆94Updated 8 years ago
- FlashCard open source website https://izidict.com☆29Updated 6 years ago
- ☆24Updated 6 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- A Drum Machine DSL for Haskell☆94Updated 6 years ago