https://github.com/lorenzleutgeb/aoc
:snowflake::evergreen_tree::calendar::santa:
https://github.com/lorenzleutgeb/aoc
advent-of-code advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2020-haskell advent-of-code-2021 puzzle
Last synced: 3 months ago
JSON representation
:snowflake::evergreen_tree::calendar::santa:
- Host: GitHub
- URL: https://github.com/lorenzleutgeb/aoc
- Owner: lorenzleutgeb
- Created: 2017-12-01T11:22:08.000Z (over 7 years ago)
- Default Branch: main
- Last Pushed: 2023-12-05T22:31:18.000Z (over 1 year ago)
- Last Synced: 2025-01-17T16:56:18.869Z (4 months ago)
- Topics: advent-of-code, advent-of-code-2017, advent-of-code-2018, advent-of-code-2019, advent-of-code-2020, advent-of-code-2020-haskell, advent-of-code-2021, puzzle
- Language: Haskell
- Homepage: https://adventofcode.com
- Size: 113 KB
- Stars: 3
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Advent of Code
Advent of Code is a recreational programming puzzle. It is held yearly from the
first to the twentyfifth of December, with a new puzzle consisting of two parts
released every day.
## My Solutions
This repository contains my solutions. The problem statements can be found on
the Advent of Code website.
### 2022
Lean 4 (solutions are in `/AdventOfCode/Y2022/Dx/Solve.lean`), maybe some Rust.
### 2021
Haskell, maybe some Rust.
### 2020
Haskell, again.
### 2019
I used Haskell.
cd $YEAR/$DAY/$LEVEL
stack solve.hs < ../input.txt
### 2018
Mostly Python, again with some Answer Set Programming like in 2017.
### 2017
I used a mix of Python (look for `solve.py`), Answer Set Programming ([DLV][dlv])
fed by Python scripts (look for `solve.lp` and `translate.py`) as well as plain
math and Go (both for Day 3).
#### How to run solutions implemented in Answer Set Programming
##### Solving
For example, to obtain the solution for part one of day four:
python3 4/1/translate.py < 4/input.txt | dlv -cautious -silent ../query.lp 4/solve.lp --
##### Testing
Occasionally you will find tests, which are to be executed as follows:
dlv -silent 1/1/test-1.lp 1/1/solve.lp
I write tests in such a way that they are inconsistent together with the program, so no answer is good in this case.
Contrary if there are answers, then these are the cases that need to be investigated.
[dlv]: http://www.dlvsystem.com/dlv/
## Others Solutions
### My Leaderboard
#### 2021
- https://github.com/kaivogelgesang/aoc
- https://github.com/haaase/advent-of-code-2021
- https://github.com/vgautam/advent-of-code
#### 2020
- https://github.com/mkmc/AdventOfCode
- https://github.com/PeterZainzinger/aoc_2020
- https://github.com/riginding/advent-of-code-2019
### Developers in Vienna Leaderboard
#### 2021
- https://github.com/ad0bert/Advent-of-Code-2021
- https://github.com/Patrik64/adventofcode
- https://github.com/webpapaya/aoc_2021
#### 2020
- https://github.com/ad0bert/Advent-of-Code-2020
- https://github.com/cernychristopher/advent2020
- https://github.com/kixi/aoc2020