kaychaks / AoC

My attempts to solve puzzles of Advent of Code

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Advent of Code

Over the years, I have tried solving puzzles using various languages - Haskell and Lean. In 2022, I am building a Rust-based system to solve the same puzzles for 2022 and in future.

I have moved yesteryear's attempts to the archive folder.

The main folder would consist of the Rust project, which has the aoc-lib library (will write more about it in future), the solutions folder consisting of solutions to the puzzles every year (starting with year_2022), and the main function which uses the solutions to generate the answers.

I plan to convert the same main function to a CLI app some day.

About

My attempts to solve puzzles of Advent of Code

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Rust 85.0%Language:Haskell 7.5%Language:Lean 6.9%Language:Nix 0.6%