Danila Fedorin DanilaFe

Attempts at formalizing static program analysis techniques in Agda.

Updated 2 weeks ago

My dotfiles.

Updated 3 months ago

My resume, written with HTML+SCSS

Updated 4 months ago

Code for the compiler described in my blog

Updated 11 months ago

Golden ratio based color generation.

Updated 2 years ago

custom-nix
Archived
Nix 0 0

Custom Nix expressions for private packages.

Updated 3 years ago

Updated 4 years ago

Stop! The! Homework!

Updated 4 years ago

A custom start page.

Updated 5 years ago

A desktop calculator built for precision.

Updated 6 years ago