Personal Information
Organization / Workplace
Yokohama, Kanagawa, Japan Japan
Occupation
Software Engineer at SELTECH CORPORATION
Website
About
I launched my career on developing embedded devices at Ricoh Company, Ltd.[0], and also learned application design using functional language such like Haskell[1]. I found Metasepi project[2] what is trying to apply strong type to embedded programming. For my first challenging, I developed an embedded Haskell compiler named Ajhc[3], and published some research papers[4].
Today, I choose ATS[5] language as embedded functional language, and found Japan ATS User Group[6] what holds Japanese translations about the language. And I'm implementing these technology on tiny MCU[7] such like ARM Cortex-M series[8] and 8bit AVR[9] for practical use.
Metasepi is very experimental and ambitious proje...
Contact Details
Tags
haskell
ats
ajhc
jhc
netbsd
arduino
stm32
metasepi
c
verifast
mbed
chibiosrt
lineartype
arm
kernel
os
cortex-m3
carettah
dependenttype
avr
functional
cortex-m
language
proof
esp8266
ats2
android
debian
ocaml
rust
ghc
seplog
verify
iot
coq
type
javascript
libreoffice
mcu
travis ci
kyoto
readghc
osc
linux
ruby
posix
pdf
latex
review
tex
omake
kernelvm
qpstudy
git
gtk2hs
cairo
gtk
flickr
ocaml pfds readpfds
haskell ghc
po4a
gettext
emacs haskell gloss
web
hoogle
pfds
readpfds
type system
linear types
dbc
infer
lattice
verilog
icestorm
hdl
emacs
fpga
generate
state
rtos
nagoya
clang
habitica
diet
matsuya
smt
z3
osaka
camlp4
unoconv
embedded system
compiler
mac os x
thread
snatch
gdb
gcc
serial
dependehaskell
play
scala
play2-auth
slick
sml
r
aws
memory
freertos
msp430
isabelle
sel4
parser
See more
Users being followed by Kiwamu Okabe