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 6 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 7 years ago
- Braid representations in Haskell☆22Updated last year
- Cloud Haskell Demonstration☆18Updated 10 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Setting up an Idris dev environment on Windows☆16Updated 5 years ago
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Updated 9 years ago
- Haskell integration for Visual Studio☆22Updated 11 years ago
- Testing Infrastructure for Temporal AbstractioNs☆23Updated 5 years ago
- Experimental event store database entirely written in Haskell☆31Updated 7 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Wave function collapse procedural generation for arbitrary graphs☆15Updated 5 years ago
- Classic games recreated in netwire☆94Updated 8 years ago
- Multi-stage Programming in F#☆12Updated 9 years ago
- XSharpX is a general library for functional programming using .NET languages.☆30Updated 8 years ago
- Exercism exercises in Coq.☆19Updated 10 months ago
- A Drum Machine DSL for Haskell☆94Updated 6 years ago
- A dumb tool to mirror changes in a directory between hosts☆13Updated 8 years ago
- A collection of old versions of the Haskell Report☆12Updated 8 years ago
- Idris Todo web application example☆42Updated 2 years ago
- ICFP 2019 preprints/papers☆44Updated 6 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
- Haskell library for PDF generation (graphics and typesetting)☆27Updated 5 years ago
- A Haskell game written in Yampa☆28Updated last year
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Load environment variables from .env☆19Updated last year