Solutions for Advent of Code 2017
☆15Jan 7, 2018Updated 8 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Slides and code from "DDD with the F# Type System" given at NDC London 2013☆15Dec 7, 2013Updated 12 years ago
- example for the new elm-lang/navigation and evancz/url-parser packages☆20May 31, 2016Updated 9 years ago
- Ansible automation scripts to set up Hashicorp Vault, Consul, HAProxy and a TLS (SSL) PKI.☆12Aug 17, 2016Updated 9 years ago
- My home manager config☆16Mar 12, 2026Updated 2 weeks ago
- Braid representations in Haskell☆21Jan 20, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- LIFX Light Bulb REST API wrapper for Nodejs☆13May 21, 2017Updated 8 years ago
- Registration page built with elm☆10Nov 18, 2019Updated 6 years ago
- Plugin VideoPlayer for Cordova 3.0☆27Nov 4, 2013Updated 12 years ago
- A few Clio examples☆14Oct 11, 2021Updated 4 years ago
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- Lua implemented in Mercury☆15Mar 17, 2024Updated 2 years ago
- Source code for Design Patterns in Ruby Tuts+ course☆11Dec 30, 2015Updated 10 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- A list of compilers with some metadata.☆12May 31, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Quake 3 map viewer in Haskell using GPipe☆31Sep 25, 2017Updated 8 years ago
- ☆12Aug 12, 2019Updated 6 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- A Halmak support module for the TypeFu app☆11Nov 3, 2019Updated 6 years ago
- ☆13May 19, 2025Updated 10 months ago
- A web audio player demo using Halogen for skipping in different increments☆20Jun 20, 2018Updated 7 years ago
- A port of 2048 using Haskell and Miso☆15Feb 7, 2018Updated 8 years ago
- ☆10Mar 11, 2021Updated 5 years ago
- Norma-Plus: Core code for Natural Object-Role Modeling Architect, a Visual Studio extension for ORM modeling.☆13Jan 14, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Repository for cutout animation characters setup in Godot Engine☆15Jun 8, 2018Updated 7 years ago
- Building Haskell apps on mobile devices (Android/iOS)☆25Oct 28, 2015Updated 10 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Dec 4, 2022Updated 3 years ago
- Bokor is a simple, Record and Playback Mock Server written in Node.js, utilized for Service Virtualization.☆22Jan 5, 2023Updated 3 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Jul 5, 2012Updated 13 years ago
- Experimental API for building JSON decoders☆20Oct 4, 2018Updated 7 years ago
- (React / Redux / Redux-thunk) version of the poll workshop☆10Jul 20, 2017Updated 8 years ago
- A Simple utility page for converting JSON to EDN, and back again.☆13Jun 18, 2015Updated 10 years ago
- Experimental event store database entirely written in Haskell☆31Oct 7, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Aug 5, 2016Updated 9 years ago
- My Emacs Setup based on the Emacs Starter Kit (ESK)☆45Feb 12, 2014Updated 12 years ago
- Symbolic computing with multivariate polynomials in R☆12Jun 9, 2025Updated 9 months ago
- React bindings for RxJS and Redux☆29Dec 6, 2022Updated 3 years ago
- A converter to take Bootstrap mockups and turn them into reactstrap code☆27May 5, 2017Updated 8 years ago
- My NixOS configuration☆31Apr 8, 2016Updated 9 years ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Jul 23, 2015Updated 10 years ago