Advent of Code complete solution archive and common library
☆48Dec 12, 2025Updated 10 months ago
Alternatives and similar repositories for advent
Users that are interested in advent are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell solutions for https://adventofcode.com/2021/☆14Dec 25, 2021Updated 4 years ago
- Haskell implementation of data structures for data science☆25Jan 2, 2026Updated 10 months ago
- 🎅🌟❄️☃️🎄🎁☆45Nov 17, 2024Updated last year
- ☆15Dec 5, 2023Updated 2 years ago
- Advent of Code 2020 Haskell Solutions☆17Dec 29, 2020Updated 5 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.
- ☆17Apr 4, 2024Updated 2 years ago
- A program and library for prototyping and debugging PyTorch models in Haskell☆15Aug 11, 2023Updated 3 years ago
- Strategy game in Haskell (PRs: )☆50Feb 6, 2020Updated 6 years ago
- Type-safe WebAssembly eDSL in Haskell☆28Oct 20, 2024Updated 2 years ago
- ☆34Feb 16, 2026Updated 8 months ago
- Haskell game where multiple players attempt to blend in with computer controlled characters while being first to visit the key locations …☆15Jan 10, 2020Updated 6 years ago
- Planning poker implementation for remote teams written in Haskell & Elm☆21Jan 24, 2025Updated last year
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆34Oct 26, 2026Updated last week
- Disciplined Convex Programming in Haskell☆23Mar 19, 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.
- Benchmark a given function for variable input sizes and find out its time complexity☆25Jul 15, 2026Updated 3 months ago
- CHIP-8 interpreter written in Rust☆11May 23, 2020Updated 6 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 10 years ago
- My solutions for Advent of Code 2019☆14Dec 24, 2019Updated 6 years ago
- Haskell bindings for DuckDB☆24Oct 22, 2026Updated last week
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆132Oct 25, 2026Updated last week
- ☆25Mar 2, 2026Updated 8 months 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.
- Read ghc-core with style. javascript and CSS style.☆13Jul 4, 2015Updated 11 years ago
- Mini-game built on a functional style☆13Jul 2, 2022Updated 4 years ago
- Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"☆15Jan 26, 2021Updated 5 years ago
- ☆12Oct 7, 2026Updated 3 weeks ago
- ☆16Jun 2, 2026Updated 5 months ago
- Vector builder☆16Jan 13, 2026Updated 9 months ago
- A formatter for Haskell source code☆45Updated this week
- ☆29Nov 11, 2025Updated 11 months ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Apr 17, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Hypercard-like game engine☆14Feb 7, 2024Updated 2 years ago
- Library for parsing, transforming and producing PDF files☆25May 5, 2011Updated 15 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆12May 9, 2021Updated 5 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Nov 11, 2024Updated last year
- A demonstration on how to use Nix to build, test and deploy a Haskell application☆65Oct 31, 2017Updated 9 years ago
- GHC language extension support checker across compiler versions.☆50Aug 25, 2026Updated 2 months ago