ogata-k's repositories

GUI_cmp

compare crate of GUI for Rust

Language:RustStargazers:10Issues:1Issues:0

template-satysfi

original template for satysfi project

Language:ShellLicense:MITStargazers:5Issues:2Issues:0

fakes-gen-cli

Library and CLI tool for generating fake data as formatted as CSV, TSV and JSON.

sbrd-gen

Schema-Based Random Data GENerator

ReGRaFiLo

グラフを表現するフォーマットからグラフを表現するフォーマットや画像に変換するCLIツール

Language:RustLicense:MITStargazers:3Issues:1Issues:0

self-introduce

私ogata-kの自己紹介。情報が増えたら随時書き加えていく。

digraph_supremacy

自分が書いた有向グラフに関するPDFの置き場所

mig

This application is converter from mig-file to migration-file of Web framework.

Language:RustStargazers:1Issues:1Issues:0

monkey-rs

「Go言語でつくるインタプリタ」をRustで勉強がてら移植したもの

Language:RustStargazers:1Issues:1Issues:0

LeanMyLibrary

MyLibraries for Lean. Now, Support only Lean3.

Stargazers:0Issues:1Issues:0

animations

practice flutter animations

Language:DartStargazers:0Issues:2Issues:0

calc

言語処理系実装のお勉強用

Language:RustStargazers:0Issues:2Issues:0

clean_architecture_sample

クリーンアーキテクチャのサンプル実装

Language:DartStargazers:0Issues:1Issues:0

coq_hatena

https://ogata-k.hatenablog.com/archive/category/Coq で利用するCoqファイルの管理リポジトリ

Language:CoqStargazers:0Issues:2Issues:0

dotecnf

loader for ".ecnf" file such as ".env". ".ecnf" is key-value setting file with key's hierarchy.

Language:RustStargazers:0Issues:2Issues:0

FlutterCountupSampleOfAndroid

Flutter counter sample as MVP Android sample app

Language:KotlinStargazers:0Issues:1Issues:0

flux-counter-sample

counterをfluxで実装してみた。Kotlinのコルーチンについては次が参考になるかも:https://zenn.dev/yass97/articles/03ca8ade9b4d9c

Language:KotlinStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:0Issues:0

kotlin-flux-test

KotlinでFluxパターンを検証

Language:KotlinStargazers:0Issues:1Issues:0
Language:LeanStargazers:0Issues:1Issues:0
Language:KotlinStargazers:0Issues:0Issues:0

my_icon_generator

自分のアイコン画像の自動生成関数

Language:RustStargazers:0Issues:2Issues:0

network-intro

introduction flow-network with Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

NoteTutorialForAndroid

Tutorial Note app for Android. Reference https://www.youtube.com/watch?v=8_u4EOYShgo&t=5019s

Language:KotlinStargazers:0Issues:1Issues:0

ogata-k

Config files for my GitHub profile.

Stargazers:0Issues:1Issues:0

omikuji

ファイルを読み込んで表示するおみくじ

Language:RustStargazers:0Issues:1Issues:0

satysfi-sample

sample project created by template-satysfi

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

sim-by-fired-event

https://crates.io/crates/sim-by-fired-event

Language:RustStargazers:0Issues:2Issues:0

todo-mvp-kotlin

Android+Kotlin+MVP+Repositoryの勉強のためのリポジトリ(参考:https://github.com/android/architecture-samples/tree/todo-mvp-kotlin)

Language:KotlinStargazers:0Issues:1Issues:0

track_list

list of track in your phone by using content provider

Language:DartStargazers:0Issues:2Issues:0