Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories Projects Packages Code Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
agda-spa
Agda 0 0

Attempts at formalizing static program analysis techniques in Agda.

Updated 2 weeks ago

dotfiles
Vim script 0 0

My dotfiles.

Updated 3 months ago

resume
HTML 0 0

My resume, written with HTML+SCSS

Updated 4 months ago

bloglang
C++ 0 0

Code for the compiler described in my blog

Updated 11 months ago

golden-color
Crystal 0 0

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

simplecnn
Python 0 0

Updated 4 years ago

3dw
Crystal 0 0

Stop! The! Homework!

Updated 4 years ago

Start
Elm 0 0

A custom start page.

Updated 5 years ago

Abacus
Java 0 0

A desktop calculator built for precision.

Updated 6 years ago