ogata-k Goto Github PK

animations

practice flutter animations

baseball

baseball game

blackjack

cui game of blackjack

calc

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

clean_architecture_sample

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

convertduplicater

repeat the conversion from seed to geometric 2-dim list

coq_hatena

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

digraph_supremacy

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

dotecnf

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

efieldgui

electro field for move electron

fakes-gen-cli

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

filestructure

view files in target directory for windows

fluttercountupsampleofandroid

Flutter counter sample as MVP Android sample app

flux-counter-sample

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

fractal

koch curve

gettrackexample

gotta

gui_cmp

compare crate of GUI for Rust

kotlin-flux-test

KotlinでFluxパターンを検証

lean-first-practice

leanmylibrary

MyLibraries for Lean. Now, Support only Lean3.

life_game

life game made by Rust

lifegame

lifegames

luksa-hs

gitやhaskell stackのようなmarkdownからのlatexへの変換プログラム

makeimage

make geometry repeat image

mig

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

monkey-rs

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

mvc-counter-example

my_icon_generator

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

network-intro

introduction flow-network with Haskell