user: masterq

6 karma | created 12 years ago

[ my public key: https://keybase.io/masterq; my proof: https://keybase.io/masterq/sigs/WKX-Kd2vyJXaAEfDlW-Yjtq65UgAgqV3zKyZPqNCkps ]

recent submissions

(no title)

1 pts|2 years ago|discuss

4bit TD4 CPU Ported to Yosys and IceStorm (youtube.com)

1 pts|5 years ago|discuss

1 pts|5 years ago|discuss

2 pts|7 years ago|discuss

Hands-on VeriFast with STM32 microcontroller Osaka (slideshare.net)

3 pts|8 years ago|1 comment

Hands-on VeriFast with STM32 microcontroller (metasepi.org)

1 pts|9 years ago|discuss

History of Ajhc Haskell Compiler (Japanese) [pdf] (metasepi.org)

4 pts|9 years ago|discuss

3 pts|9 years ago|discuss

Functional IoT Meetup #0 (metasepi.org)

2 pts|10 years ago|discuss

Metasepi's going year and coming year, 2015 (metasepi.org)

1 pts|10 years ago|discuss

Kick-R: Get your own R instance with 36 cores on AWS (slideshare.net)

3 pts|10 years ago|discuss

Metasepi Project needs donations on Bitcoin (metasepi.org)

1 pts|11 years ago|discuss

(no title)

11 years ago|discuss

(no title)

11 years ago|discuss

(no title)

11 years ago|discuss