Advent-of-Code/AdventOfCode-2020
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
47 Commits 1 Branch 0 Tags
94ddabc590beb8095c66cdfe830ac29d5d55fc13
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Danila Fedorin 94ddabc590 Add solutions to day21 and day22.
2020-12-21 22:40:37 -08:00
console.cr
Factor console code into a separate file.
2020-12-11 11:32:01 -08:00
day1.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day1.v
Add day 1 part 1 formalized in Coq.
2020-12-01 19:44:47 -08:00
day2.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day3.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day4.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day5.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day5g.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day6.cr
Clean up some solutions.
2020-12-07 23:38:38 -08:00
day7.cr
Clean up some solutions.
2020-12-07 23:38:38 -08:00
day8.cr
Factor console code into a separate file.
2020-12-11 11:32:01 -08:00
day8.v
Add experimental formalization of (inefficient) solution.
2020-12-13 23:32:11 -08:00
day9.cr
Add day9 solution.
2020-12-08 21:34:39 -08:00
day10.cr
Add solutions to days 10 and 11
2020-12-11 11:32:33 -08:00
day11.cr
Add solutions to days 10 and 11
2020-12-11 11:32:33 -08:00
day12.cr
Clean up day 12.
2020-12-12 01:44:04 -08:00
day13.cr
Add day 13 solution.
2020-12-12 22:09:28 -08:00
day14.cr
Add day 4 solution.
2020-12-13 21:53:37 -08:00
day15.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
day16.cr
Add unclean day16 solution.
2020-12-15 22:05:25 -08:00
day17.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
day18.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
day19.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
day20.cr
Add updated solutions, including day 20.
2020-12-20 00:31:30 -08:00
day21.cr
Add solutions to day21 and day22.
2020-12-21 22:40:37 -08:00
day22.cr
Add solutions to day21 and day22.
2020-12-21 22:40:37 -08:00
input.sh
Add a script to pull input from AoC
2020-12-02 20:47:58 -08:00
passports.cr
Reimplement day 4 using validators.
2020-12-04 19:54:14 -08:00
shard.yml
Extract some common utilities into a library.
2020-12-05 15:36:08 -08:00
template.cr
Make changes to the template.
2020-12-11 11:32:12 -08:00
Description
No description provided
752 KiB
Languages
Crystal 66%
Coq 32.2%
J 1.6%
Shell 0.2%