Danila Fedorin DanilaFe
0 Volgers · 0 Volgt
repositories
11
 Projecten Packages Code Openbare activiteit Repositories met ster
Filter
Sorteer
resume
HTML 0 0
My resume, written with HTML+SCSS
Geupdate 2025-12-27 00:21:15 +00:00
agda-spa
Agda 0 0
Attempts at formalizing static program analysis techniques in Agda.
Geupdate 2025-12-08 07:20:46 +00:00
formal-interview
Agda 0 0
An Agda formalization of some of what we talked about during the Formal interview.
Geupdate 2024-09-25 01:46:42 +00:00
dotfiles
Vim script 0 0
My dotfiles.
Geupdate 2024-02-10 22:33:52 +00:00
bloglang
C++ 0 0
Code for the compiler described in my blog
Geupdate 2023-01-01 22:52:07 +00:00
golden-color
Crystal 0 0
Golden ratio based color generation.
Geupdate 2021-11-13 22:50:41 +00:00
custom-nix Gearchiveerd
Nix 0 0
Custom Nix expressions for private packages.
Geupdate 2021-01-11 04:23:26 +00:00
simplecnn
Python 0 0
Geupdate 2019-12-24 01:45:55 +00:00
3dw
Crystal 0 0
Stop! The! Homework!
Geupdate 2019-11-10 04:40:16 +00:00
Start
Elm 0 0
A custom start page.
Geupdate 2019-06-23 02:29:37 +00:00
Abacus
Java 0 0
A desktop calculator built for precision.
Geupdate 2018-05-18 22:25:16 +00:00