wat-aro's repositories
Language:Emacs Lisp000
elm-dev-env
Elm on webpack
Language:Elm000
elm-oauth2
OAuth 2.0 client-side utils in Elm
Language:ElmMIT000
000
Garrigue-lecture-2018_AW
ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
Language:Coq000
Language:HaskellBSD-3-Clause000
Language:SchemeBSD-2-Clause000
meetups
ginza.rb のミートアップ記録用リポジトリ
000
openJunkfile
Create a file to write memos and codes that you can throw away.
MIT000
Language:HaskellBSD-3-Clause000
qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
Language:CGPL-2.0000
ruby-signature
Type signature for Ruby classes
Language:Ruby000
Language:HaskellBSD-3-Clause000
servant-on-heroku
Example app showing how to release a Haskell web app on Heroku
Language:HaskellBSD-3-Clause000
Language:Coq000
shouhizei
This gem support to calculate Japanese consumption tax
Language:RubyMIT000
Language:Scheme000
Language:HaskellBSD-3-Clause000
vue-pure-lightbox
Very simple lightbox plugin (without any dependencies) for Vuejs 🌅
Language:VueMIT000