Pinned Repositories
digraph_supremacy
自分が書いた有向グラフに関するPDFの置き場所
fakes-gen-cli
Library and CLI tool for generating fake data as formatted as CSV, TSV and JSON.
fractal
koch curve
GUI_cmp
compare crate of GUI for Rust
LIFEGAME
lifegames
mig
This application is converter from mig-file to migration-file of Web framework.
ReGRaFiLo
グラフを表現するフォーマットからグラフを表現するフォーマットや画像に変換するCLIツール
sbrd-gen
Schema-Based Random Data GENerator
self-introduce
私ogata-kの自己紹介。情報が増えたら随時書き加えていく。
template-satysfi
original template for satysfi project
ogata-k's Repositories
ogata-k/GUI_cmp
compare crate of GUI for Rust
ogata-k/template-satysfi
original template for satysfi project
ogata-k/fakes-gen-cli
Library and CLI tool for generating fake data as formatted as CSV, TSV and JSON.
ogata-k/sbrd-gen
Schema-Based Random Data GENerator
ogata-k/ReGRaFiLo
グラフを表現するフォーマットからグラフを表現するフォーマットや画像に変換するCLIツール
ogata-k/self-introduce
私ogata-kの自己紹介。情報が増えたら随時書き加えていく。
ogata-k/digraph_supremacy
自分が書いた有向グラフに関するPDFの置き場所
ogata-k/mig
This application is converter from mig-file to migration-file of Web framework.
ogata-k/monkey-rs
「Go言語でつくるインタプリタ」をRustで勉強がてら移植したもの
ogata-k/LeanMyLibrary
MyLibraries for Lean. Now, Support only Lean3.
ogata-k/animations
practice flutter animations
ogata-k/calc
言語処理系実装のお勉強用
ogata-k/clean_architecture_sample
クリーンアーキテクチャのサンプル実装
ogata-k/coq_hatena
https://ogata-k.hatenablog.com/archive/category/Coq で利用するCoqファイルの管理リポジトリ
ogata-k/dotecnf
loader for ".ecnf" file such as ".env". ".ecnf" is key-value setting file with key's hierarchy.
ogata-k/FlutterCountupSampleOfAndroid
Flutter counter sample as MVP Android sample app
ogata-k/flux-counter-sample
counterをfluxで実装してみた。Kotlinのコルーチンについては次が参考になるかも：https://zenn.dev/yass97/articles/03ca8ade9b4d9c
ogata-k/gotta
ogata-k/kotlin-flux-test
KotlinでFluxパターンを検証
ogata-k/lean-first-practice
ogata-k/mvc-counter-example
ogata-k/my_icon_generator
自分のアイコン画像の自動生成関数
ogata-k/network-intro
introduction flow-network with Haskell
ogata-k/NoteTutorialForAndroid
Tutorial Note app for Android. Reference https://www.youtube.com/watch?v=8_u4EOYShgo&t=5019s
ogata-k/ogata-k
Config files for my GitHub profile.
ogata-k/omikuji
ファイルを読み込んで表示するおみくじ
ogata-k/satysfi-sample
sample project created by template-satysfi
ogata-k/sim-by-fired-event
https://crates.io/crates/sim-by-fired-event
ogata-k/todo-mvp-kotlin
Android+Kotlin+MVP+Repositoryの勉強のためのリポジトリ（参考：https://github.com/android/architecture-samples/tree/todo-mvp-kotlin）
ogata-k/track_list
list of track in your phone by using content provider