Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-04 23:24:55 -08:00
0dad7a3244 Adjust template.
b1889cbbba Add heap.
Compare 2 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-04 22:04:31 -08:00
0ba970d517 Clean up day 5.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-04 21:32:38 -08:00
3d5c13cf6a Add day 5 solution.
598c970a46 Add a pathfinding algorithm - why not?
b91819c4cf Reimplement day 4 using validators.
1a2f18b316 Extract some code from day 4.
Compare 4 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-04 18:19:08 -08:00
15128fbddf Add cleaned up day 4 solution.
2ed1ce8b06 Add day 4 solutions.
f3e3960ea1 Add initial file after solving day 4.
00e8704ac3 Add day3 solution.
0651feb111 Add a script to pull input from AoC
DanilaFe created repository Advent-of-Code/AdventOfCode-2020 2020-12-04 18:18:51 -08:00
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2019 2020-12-04 18:18:37 -08:00
161ee6e244 Abstract intocode into separate files.
e62a0067e7 Add the first few solutions.
DanilaFe created repository Advent-of-Code/AdventOfCode-2019 2020-12-04 18:18:10 -08:00
DanilaFe transferred repository DanilaFe/AdventBot to Advent-of-Code/AdventBot 2020-12-04 18:09:50 -08:00
DanilaFe transferred repository DanilaFe/AdventOfCode-2018 to Advent-of-Code/AdventOfCode-2018 2020-12-04 18:09:16 -08:00
DanilaFe transferred repository DanilaFe/AdventOfCode-2017 to Advent-of-Code/AdventOfCode-2017 2020-12-04 18:08:38 -08:00
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2017 2020-12-04 18:05:59 -08:00
ad81a01063 Add archive from Advent of Code 2017.
DanilaFe created repository Advent-of-Code/AdventOfCode-2017 2020-12-04 18:02:33 -08:00
DanilaFe created repository Advent-of-Code/AdventBot 2020-12-04 17:19:30 -08:00
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-02 18:45:48 -08:00
8f0f2eb35e Finish up the Coq Advent of Code post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-02 01:14:41 -08:00
234b795157 Add Coq advent of code post.
e317c56c99 Add some shortcodes for making the game theory post nicer.
Compare 2 commits »
DanilaFe pushed to master at DanilaFe/resume 2020-11-29 11:15:11 -08:00
3985cb5f93 Reorder the languages a little.
495abb8d03 Update the resume.
Compare 2 commits »
DanilaFe pushed to master at CS-581/Homework 2020-11-23 14:44:19 -08:00
c98765240c Add Homework 6
DanilaFe pushed to master at Web-Projects/blog-static 2020-11-02 01:08:57 -08:00
29d12a9914 Publish new Idris post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-11-02 00:26:50 -08:00
b459e9cbfe Update typesafe imperative language post draft.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-11-02 00:02:40 -08:00
f3b5f884ed Be careful to replace math in proper spots.