このウェブサイトには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-03-24 12:11:10 -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