Pinned Repositories
ADS
プログラミング@九テクサポートページ(富田2020)
computational-semantics
Computational semantics in Idris
covid19-fukuoka
福岡県 新型コロナウイルス感染症対策ポータルサイト
differentiable-idris
dependent types meets deep learning
discord-mylocation
dterm
Pop-up context sensitive command line.
elm-pomodoro-list
Pomodoro timer to-do list written in Elm
GoogleJavaStyle-ja
Google Java Style (https://google.github.io/styleguide/javaguide.html) の翻訳です。
haskell-altjs-benchmark
ibexfarm
yutomi7a's Repositories
yutomi7a/computational-semantics
Computational semantics in Idris
yutomi7a/ADS
プログラミング@九テクサポートページ(富田2020)
yutomi7a/covid19-fukuoka
福岡県 新型コロナウイルス感染症対策ポータルサイト
yutomi7a/differentiable-idris
dependent types meets deep learning
yutomi7a/discord-mylocation
yutomi7a/dterm
Pop-up context sensitive command line.
yutomi7a/elm-pomodoro-list
Pomodoro timer to-do list written in Elm
yutomi7a/GoogleJavaStyle-ja
Google Java Style (https://google.github.io/styleguide/javaguide.html) の翻訳です。
yutomi7a/haskell-altjs-benchmark
yutomi7a/ibexfarm
yutomi7a/OpenLogic
オープンソースでカスタマイズ可能な中級論理学の教科書
yutomi7a/rireki-style
Style file for writing resume.
yutomi7a/rsyntaxtree
Syntax tree generator made with Ruby and RMagic
yutomi7a/simcirjs
九テク論理回路サポートサイト
yutomi7a/svgling
linguistics tree drawing to SVG in python, aimed at Jupyter
yutomi7a/test
yutomi7a/zenn-contents