Advent of Code 2017
☆40Dec 27, 2018Updated 7 years ago
Alternatives and similar repositories for AofC2017
Users that are interested in AofC2017 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 examples for a talk☆22Dec 19, 2017Updated 8 years ago
- ☆23Apr 17, 2018Updated 8 years ago
- Conway's Game of Life using a memoized Store comonad☆11Nov 20, 2017Updated 8 years ago
- Functions for working with PureScripts 'Number' type☆13Oct 8, 2023Updated 2 years ago
- ☆11Jun 19, 2021Updated 5 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.
- ☆23Dec 7, 2021Updated 4 years ago
- Slides and projects for LambdaConf 2018 Workshop☆16Jun 3, 2018Updated 8 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Focused domain model declaration toolkit for Haskell☆48Dec 9, 2023Updated 2 years ago
- Streaming effects for PureScript☆16Nov 8, 2021Updated 4 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- N2O: Rust Application Server☆17Jul 9, 2019Updated 7 years ago
- Prints lines with IDE friendly stack traces in Haskell.☆12Sep 12, 2019Updated 6 years ago
- van Laarhoven Free Monad with Extensible Effects☆24Feb 10, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A reaaaaaally lenient HTML parser for Purescript inspired by ndmitchell's TagSoup☆12Jul 27, 2018Updated 8 years ago
- Example project of DevContainer environment for VSCode with working Stack, nix, HIE and debugger☆14Feb 24, 2020Updated 6 years ago
- ☆25Jan 5, 2021Updated 5 years ago
- Textobject for evil based on indentation.☆15Aug 31, 2013Updated 12 years ago
- ☆10Jan 11, 2017Updated 9 years ago
- Advent Of Code solutions in Haskell☆11Dec 8, 2019Updated 6 years ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- Advent of Code 2016, in Haskell☆15Oct 7, 2017Updated 8 years ago
- ☆227Jun 4, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Write "Concurrency" section of "A Tour of Go" in Haskell☆130Oct 15, 2018Updated 7 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 12 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Jun 19, 2026Updated 2 months ago
- A talk given at the Polyglot meetup in CPH, March 2018☆12Nov 5, 2018Updated 7 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Apr 21, 2019Updated 7 years ago
- what it says on the tin☆24Jun 6, 2018Updated 8 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated last year
- Folds for recursive types with GHC Generics☆29Apr 13, 2026Updated 4 months ago
- compile rust-like source code to x86 assembly☆14Feb 11, 2024Updated 2 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.
- 2D ship-to-ship combat☆13Jun 16, 2016Updated 10 years ago
- Cofun with Cofree Comonads☆34Jun 13, 2016Updated 10 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- Pier3 is a CMS - http://www.piercms.com/☆11Updated this week
- Rrecursion schemes without the barbed wire☆24Jun 3, 2018Updated 8 years ago
- An interactive workshop on implementing AlgorithmW in Kotlin☆21Jun 7, 2020Updated 6 years ago
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 7 months ago