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
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
11
Projects
Packages
Code
Public Activity
Starred Repositories
Filter
Clear Filter
Archived
Not Archived
Forked
Not Forked
Mirrored
Not Mirrored
Template
Not Template
Private
Public
Sort
Newest
Oldest
Alphabetically
Reverse alphabetically
Recently updated
Least recently updated
Most stars
Fewest stars
Most forks
Fewest forks
Smallest size
Largest size
formal-interview
Agda
0
0
An Agda formalization of some of what we talked about during the Formal interview.
Updated
2024-09-24 18:46:42 -07:00
agda-spa
Agda
0
0
Attempts at formalizing static program analysis techniques in Agda.
Updated
2024-08-18 13:29:54 -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