此网站需要 JavaScript。
探索
帮助
登录
Danila Fedorin
DanilaFe
0 关注者
·
0 关注中
Portland, OR
https://danilafe.com
加入于
2017-09-08
仓库列表
10
项目
软件包
代码
公开活动
已点赞
搜索
排序
最新创建
最早创建
按字母顺序排序
按字母逆序排序
最近更新
最早更新
点赞由多到少
点赞由少到多
派生由多到少
派生由少到多
agda-spa
Agda
0
0
Attempts at formalizing static program analysis techniques in Agda.
最后更新于
2024-04-25 23:22:17 -07:00
dotfiles
Vim script
0
0
My dotfiles.
最后更新于
2024-02-10 14:33:52 -08:00
resume
HTML
0
0
My resume, written with HTML+SCSS
最后更新于
2023-08-06 14:32:39 -07:00
bloglang
C++
0
0
Code for the compiler described in my blog
最后更新于
2023-01-01 14:52:07 -08:00
golden-color
Crystal
0
0
Golden ratio based color generation.
最后更新于
2021-11-13 14:50:41 -08:00
custom-nix
已存档
Nix
0
0
Custom Nix expressions for private packages.
最后更新于
2021-01-10 20:23:26 -08:00
simplecnn
Python
0
0
最后更新于
2019-12-23 17:45:55 -08:00
3dw
Crystal
0
0
Stop! The! Homework!
最后更新于
2019-11-09 20:40:16 -08:00
Start
Elm
0
0
A custom start page.
最后更新于
2019-06-22 19:29:37 -07:00
Abacus
Java
0
0
A desktop calculator built for precision.
最后更新于
2018-05-18 15:25:16 -07:00