Kiwamu Okabe

haskell ats ajhc jhc netbsd arduino stm32 metasepi verifast mbed c chibiosrt lineartype arm cortex-m3 os kernel language avr dependenttype cortex-m carettah functional esp8266 proof ats2 android debian verify seplog coq iot type rust ocaml ghc javascript mcu travis ci osc kyoto libreoffice readghc linux parser camlp4 osaka z3 smt matsuya diet habitica clang nagoya rtos state generate fpga emacs hdl icestorm verilog lattice infer dbc linear types type system sel4 isabelle msp430 freertos memory aws r sml slick play2-auth scala play dependehaskell serial gcc gdb snatch thread mac os x compiler embedded system omake ruby pdf tex review latex posix unoconv readpfds pfds hoogle web emacs haskell gloss gettext po4a haskell ghc ocaml pfds readpfds flickr gtk cairo gtk2hs git qpstudy kernelvm