ogata-k's repositories
template-satysfi
original template for satysfi project
fakes-gen-cli
Library and CLI tool for generating fake data as formatted as CSV, TSV and JSON.
self-introduce
私ogata-kの自己紹介。情報が増えたら随時書き加えていく。
digraph_supremacy
自分が書いた有向グラフに関するPDFの置き場所
LeanMyLibrary
MyLibraries for Lean. Now, Support only Lean3.
animations
practice flutter animations
clean_architecture_sample
クリーンアーキテクチャのサンプル実装
coq_hatena
https://ogata-k.hatenablog.com/archive/category/Coq で利用するCoqファイルの管理リポジトリ
FlutterCountupSampleOfAndroid
Flutter counter sample as MVP Android sample app
flux-counter-sample
counterをfluxで実装してみた。Kotlinのコルーチンについては次が参考になるかも:https://zenn.dev/yass97/articles/03ca8ade9b4d9c
kotlin-flux-test
KotlinでFluxパターンを検証
my_icon_generator
自分のアイコン画像の自動生成関数
network-intro
introduction flow-network with Haskell
NoteTutorialForAndroid
Tutorial Note app for Android. Reference https://www.youtube.com/watch?v=8_u4EOYShgo&t=5019s
satysfi-sample
sample project created by template-satysfi
sim-by-fired-event
https://crates.io/crates/sim-by-fired-event
todo-mvp-kotlin
Android+Kotlin+MVP+Repositoryの勉強のためのリポジトリ(参考:https://github.com/android/architecture-samples/tree/todo-mvp-kotlin)
track_list
list of track in your phone by using content provider