yt44kiry's repositories
computational-semantics
Computational semantics in Idris
covid19-fukuoka
福岡県 新型コロナウイルス感染症対策ポータルサイト
Language:VueMIT000
differentiable-idris
dependent types meets deep learning
Language:IdrisApache-2.0000
Language:JavaScript000
dterm
Pop-up context sensitive command line.
Language:Objective-CNOASSERTION000
elm-pomodoro-list
Pomodoro timer to-do list written in Elm
Language:JavaScript000
GoogleJavaStyle-ja
Google Java Style (https://google.github.io/styleguide/javaguide.html) の翻訳です。
Language:HTML000
Language:JavaScript000
Language:JavaScriptNOASSERTION000
OpenLogic
オープンソースでカスタマイズ可能な中級論理学の教科書
Language:TeXCC-BY-4.0000
rireki-style
Style file for writing resume.
Language:TeXNOASSERTION000
rsyntaxtree
Syntax tree generator made with Ruby and RMagic
Language:Ruby000
simcirjs
九テク論理回路サポートサイト
Language:JavaScriptMIT000
svgling
linguistics tree drawing to SVG in python, aimed at Jupyter
Language:Jupyter NotebookMIT000