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 Common Intermediate Language backend for Idris 1☆133Updated 6 years ago
- A .NET Bridge for Haskell☆25Updated 8 years ago
- An experiment in next-generation front-end combinator library for WebSharper☆39Updated 6 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 7 years ago
- Setting up an Idris dev environment on Windows☆16Updated 5 years ago
- XSharpX is a general library for functional programming using .NET languages.☆30Updated 8 years ago
- Haskell integration for Visual Studio☆22Updated 11 years ago
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Updated 9 years ago
- Experimental event store database entirely written in Haskell☆30Updated 7 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
- A library for programming with Algebraic Effects in F#☆100Updated 7 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆29Updated 6 years ago
- Purescript bindings for Baidu's Echarts library☆36Updated 2 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Updated last year
- Collection of F# snippets☆40Updated last year
- Deprecated: Please use Forge: https://github.com/fsharp-editing/Forge☆21Updated 7 years ago
- experiments with @robkuz LimitedValue type☆71Updated 5 years ago
- Elm arch guide in OpticUI☆13Updated 9 years ago
- Links to some of my publications☆40Updated 6 months ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Halogen integration for Echarts.☆8Updated 7 years ago
- Just a place to throw general notes that don't belong to any particular library☆21Updated 10 years ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated last month
- type-level programming in F#☆38Updated 6 years ago
- Experiments with Monads in C#☆11Updated 10 years ago
- A cheat sheet for finding similar concepts and operators in different functional languages☆36Updated 11 months ago
- Source code for my web site and blog - yet another remake!☆26Updated 3 months ago
- A more flexible mtl☆63Updated 7 years ago
- Haskell library abstracting common network sockets usage patterns.☆34Updated last year
- A Drum Machine DSL for Haskell☆94Updated 6 years ago