Danila Fedorin DanilaFe
Attempts at formalizing static program analysis techniques in Agda.
Atjaunināts 2024-03-24 12:11:10 -07:00
My dotfiles.
Atjaunināts 2024-02-10 14:33:52 -08:00
My resume, written with HTML+SCSS
Atjaunināts 2023-08-06 14:32:39 -07:00
Code for the compiler described in my blog
Atjaunināts 2023-01-01 14:52:07 -08:00
Golden ratio based color generation.
Atjaunināts 2021-11-13 14:50:41 -08:00
Custom Nix expressions for private packages.
Atjaunināts 2021-01-10 20:23:26 -08:00
Atjaunināts 2019-12-23 17:45:55 -08:00
Stop! The! Homework!
Atjaunināts 2019-11-09 20:40:16 -08:00
A custom start page.
Atjaunināts 2019-06-22 19:29:37 -07:00
A desktop calculator built for precision.
Atjaunināts 2018-05-18 15:25:16 -07:00