This website requires JavaScript.
Explore
Help
Sign In
Danila Fedorin
DanilaFe
0 Followers
·
0 Following
Portland, OR
https://danilafe.com
Joined on
2017-09-08
Repositories
10
Projects
Packages
Code
Public Activity
Starred Repositories
Search
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
2024-03-24 12:11:10 -07:00
dotfiles
Vim script
0
0
My dotfiles.
Updated
2024-02-10 14:33:52 -08:00
resume
HTML
0
0
My resume, written with HTML+SCSS
Updated
2023-08-06 14:32:39 -07:00
bloglang
C++
0
0
Code for the compiler described in my blog
Updated
2023-01-01 14:52:07 -08:00
golden-color
Crystal
0
0
Golden ratio based color generation.
Updated
2021-11-13 14:50:41 -08:00
custom-nix
Archived
Nix
0
0
Custom Nix expressions for private packages.
Updated
2021-01-10 20:23:26 -08:00
simplecnn
Python
0
0
Updated
2019-12-23 17:45:55 -08:00
3dw
Crystal
0
0
Stop! The! Homework!
Updated
2019-11-09 20:40:16 -08:00
Start
Elm
0
0
A custom start page.
Updated
2019-06-22 19:29:37 -07:00
Abacus
Java
0
0
A desktop calculator built for precision.
Updated
2018-05-18 15:25:16 -07:00