Advent-of-Code/AdventOfCode-2020
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
52 Commits 1 Branch 0 Tags
3d85144065065e70ca36efc5b38ffc323db8d105
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Danila Fedorin 3d85144065 Add J solution for day 5.
2020-12-23 22:40:42 -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.ijs
Add day 1 and 2 solutions in J.
2020-12-23 21:47:05 -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
day2.ijs
Add day 1 and 2 solutions in J.
2020-12-23 21:47:05 -08:00
day3.cr
Update code to use advent lib.
2020-12-05 16:06:51 -08:00
day3.ijs
Add day 3 solution in J.
2020-12-23 21:46:46 -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
day5.ijs
Add J solution for day 5.
2020-12-23 22:40:42 -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
day23.cr
Add day 23.
2020-12-23 21:46:32 -08:00
day24.cr
Add day24 solution.
2020-12-23 21:44:32 -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%