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
- Braid representations in Haskell☆21Jan 20, 2024Updated 2 years ago
- Registration page built with elm☆10Nov 18, 2019Updated 6 years ago
- A few Clio examples☆14Oct 11, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- Troll the NSA with red flags and free speech! Flagger is a Firefox and Chrome extension that adds words like "Taliban" and "anthrax" into…☆16Aug 21, 2021Updated 4 years ago
- TypeScript compatible value decoding.☆13Feb 4, 2020Updated 6 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- 🎒 Backpack interface for containers☆32Nov 6, 2020Updated 5 years ago
- Lambdabot for Slack☆20Sep 16, 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Font for turning J into APL☆12Sep 30, 2018Updated 7 years ago
- A list of compilers with some metadata.☆12May 31, 2024Updated last year
- Quake 3 map viewer in Haskell using GPipe☆31Sep 25, 2017Updated 8 years ago
- ☆12Aug 12, 2019Updated 6 years ago
- A Halmak support module for the TypeFu app☆11Nov 3, 2019Updated 6 years ago
- ☆13May 19, 2025Updated 11 months ago
- A port of 2048 using Haskell and Miso☆15Feb 7, 2018Updated 8 years ago
- ☆30Mar 6, 2024Updated 2 years ago
- ☆10Mar 11, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Norma-Plus: Core code for Natural Object-Role Modeling Architect, a Visual Studio extension for ORM modeling.☆13Jan 14, 2020Updated 6 years ago
- 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
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Jul 5, 2012Updated 13 years ago
- Docker image for clojupyter.☆14Apr 12, 2020Updated 6 years ago
- Experimental API for building JSON decoders☆21Oct 4, 2018Updated 7 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- Experimental event store database entirely written in Haskell☆31Oct 7, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 solutions to the Advent of Code across various years☆12Dec 14, 2025Updated 4 months ago
- Animation Framework☆13Aug 3, 2019Updated 6 years ago
- Is no longer supported due to lack of time☆11Dec 6, 2015Updated 10 years ago
- Webpage for ggpcp: https://yaweige.github.io/ggpcp/☆15Jul 9, 2021Updated 4 years ago
- My Emacs Setup based on the Emacs Starter Kit (ESK)☆45Feb 12, 2014Updated 12 years ago
- RSpec inspired test framework for F#☆17Mar 2, 2018Updated 8 years ago