Danila Fedorin DanilaFe
0 关注者 · 0 关注中
仓库列表
11
 项目 软件包 代码 公开活动 已点赞
过滤
排序
Abacus
Java 0 0
A desktop calculator built for precision.
最后更新于 2018-05-18 15:25:16 -07:00
Start
Elm 0 0
A custom start page.
最后更新于 2019-06-22 19:29:37 -07:00
3dw
Crystal 0 0
Stop! The! Homework!
最后更新于 2019-11-09 20:40:16 -08:00
simplecnn
Python 0 0
最后更新于 2019-12-23 17:45:55 -08:00
custom-nix 已存档
Nix 0 0
Custom Nix expressions for private packages.
最后更新于 2021-01-10 20:23:26 -08:00
golden-color
Crystal 0 0
Golden ratio based color generation.
最后更新于 2021-11-13 14:50:41 -08:00
bloglang
C++ 0 0
Code for the compiler described in my blog
最后更新于 2023-01-01 14:52:07 -08:00
dotfiles
Vim script 0 0
My dotfiles.
最后更新于 2024-02-10 14:33:52 -08:00
formal-interview
Agda 0 0
An Agda formalization of some of what we talked about during the Formal interview.
最后更新于 2024-09-24 18:46:42 -07:00
resume
HTML 0 0
My resume, written with HTML+SCSS
最后更新于 2025-04-07 22:45:35 -07:00
agda-spa
Agda 0 0
Attempts at formalizing static program analysis techniques in Agda.
最后更新于 2025-04-20 19:13:45 -07:00