Repos by y-taka-23

y-taka-23 / repos

49 repos

«123...5»
RepoLanguageStarsRank
y-taka-23/concepts-of-proglangs on Githubconcepts-of-proglangsCoq11446
y-taka-23/elm-clockclock24 on Githubelm-clockclock24Elm111,124
y-taka-23/wasm-game-of-life on Githubwasm-game-of-lifeHaskell97,072
y-taka-23/rust-chip8 on Githubrust-chip8Rust839,986
y-taka-23/elm-forestfire on Githubelm-forestfireElm61,824
y-taka-23/restful-todo on Githubrestful-todoFrege525
y-taka-23/frege-goodness-jp on Githubfrege-goodness-jpCSS465,866
y-taka-23/elm-shopping-cart on Githubelm-shopping-cartElm42,428
y-taka-23/dncl-playground on Githubdncl-playgroundElm42,273
y-taka-23/voicepipe on GithubvoicepipeGo3158,909