Advent-of-Code/AdventOfCode-2020
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
25 Commits 1 Branch 0 Tags
e79b0344fdfe165480715a6c465de396c583112a
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Danila Fedorin e79b0344fd Add initial day6 solution.
2020-12-05 21:15:22 -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
Add initial day6 solution.
2020-12-05 21:15:22 -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
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
Description
No description provided
752 KiB
Languages
Crystal 66%
Coq 32.2%
J 1.6%
Shell 0.2%