ploeh / advent-of-code-2017
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
- A .NET Bridge for Haskell☆24Updated 8 years ago
- Experimental event store database entirely written in Haskell☆30Updated 7 years ago
- F# Implementation of The Elm Architecture☆29Updated 3 years ago
- Examples of Church encodings in C#☆16Updated 2 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- Elm arch guide in OpticUI☆13Updated 9 years ago
- A Common Intermediate Language backend for Idris 1☆133Updated 6 years ago
- Haskell ODBC binding with SQL Server support☆45Updated last year
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- XSharpX is a general library for functional programming using .NET languages.☆29Updated 8 years ago
- Elm architecture tutorial reworked in Haskell' Reflex library☆15Updated 9 years ago
- An experiment in next-generation front-end combinator library for WebSharper☆39Updated 6 years ago
- Collection of F# snippets☆40Updated 11 months ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- Reversible printing/parsing☆17Updated 2 years ago
- Haskell library abstracting common network sockets usage patterns.☆33Updated last year
- A Drum Machine DSL for Haskell☆94Updated 6 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago
- A more flexible mtl☆64Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Isometric rendering for PureScript☆58Updated 5 years ago
- An experiment at expressing functors in F# the .NET type system.☆17Updated 11 years ago
- Baresto UI☆39Updated 8 years ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated this week
- ☆15Updated 7 years ago
- Bayesian solver for The Resistance card game: https://en.wikipedia.org/wiki/The_Resistance_(game)☆11Updated 9 years ago
- Compile PureScript into Haskell.☆69Updated 7 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Deprecated: Please use Forge: https://github.com/fsharp-editing/Forge☆21Updated 7 years ago
- Setting up an Idris dev environment on Windows☆16Updated 5 years ago