Kiwamu Okabe, profile picture
Uploaded byKiwamu Okabe
8,946 views

ATS programming on ESP8266

This document discusses programming the ESP8266 microcontroller using the ATS programming language. It provides information on the ESP8266 module, the ATS language which features dependent types and linear types, and demonstrates examples of ATS interfaces and applications for GPIO control and blinking an LED. Code examples are referenced from a GitHub repository. The document also mentions an upcoming functional IoT meetup in December to discuss this topic further.

Download to read offline
ATS programming on ESP8266ATS programming on ESP8266ATS programming on ESP8266ATS programming on ESP8266ATS programming on ESP8266 Kiwamu OkabeKiwamu OkabeKiwamu OkabeKiwamu OkabeKiwamu Okabe
ESP8266 moduleESP8266 moduleESP8266 moduleESP8266 moduleESP8266 module ☆ http://espressif.com/en/products/wroom/☆ http://espressif.com/en/products/wroom/☆ http://espressif.com/en/products/wroom/☆ http://espressif.com/en/products/wroom/☆ http://espressif.com/en/products/wroom/ ☆ 32-bit low power MCU Wi-Fi Module☆ 32-bit low power MCU Wi-Fi Module☆ 32-bit low power MCU Wi-Fi Module☆ 32-bit low power MCU Wi-Fi Module☆ 32-bit low power MCU Wi-Fi Module ☆ Having integrated TCP/IP network stacks☆ Having integrated TCP/IP network stacks☆ Having integrated TCP/IP network stacks☆ Having integrated TCP/IP network stacks☆ Having integrated TCP/IP network stacks ☆ Including ADC, SDIO, UART, PWM, I2C ...☆ Including ADC, SDIO, UART, PWM, I2C ...☆ Including ADC, SDIO, UART, PWM, I2C ...☆ Including ADC, SDIO, UART, PWM, I2C ...☆ Including ADC, SDIO, UART, PWM, I2C ... ☆ Small form factor of only 18mm x 20mm☆ Small form factor of only 18mm x 20mm☆ Small form factor of only 18mm x 20mm☆ Small form factor of only 18mm x 20mm☆ Small form factor of only 18mm x 20mm
ATS languageATS languageATS languageATS languageATS language ☆ http://www.ats-lang.org/☆ http://www.ats-lang.org/☆ http://www.ats-lang.org/☆ http://www.ats-lang.org/☆ http://www.ats-lang.org/ ☆ DML-style dependent types☆ DML-style dependent types☆ DML-style dependent types☆ DML-style dependent types☆ DML-style dependent types ☆ Linear types☆ Linear types☆ Linear types☆ Linear types☆ Linear types ☆ Optional GC☆ Optional GC☆ Optional GC☆ Optional GC☆ Optional GC ☆ Optional malloc/free☆ Optional malloc/free☆ Optional malloc/free☆ Optional malloc/free☆ Optional malloc/free ☆ Optional run-time☆ Optional run-time☆ Optional run-time☆ Optional run-time☆ Optional run-time
DemoDemoDemoDemoDemo The code is found at following:The code is found at following:The code is found at following:The code is found at following:The code is found at following: https://github.com/fpiot/esp8266-atshttps://github.com/fpiot/esp8266-atshttps://github.com/fpiot/esp8266-atshttps://github.com/fpiot/esp8266-atshttps://github.com/fpiot/esp8266-ats
Demo environmentDemo environmentDemo environmentDemo environmentDemo environment
Software architectureSoftware architectureSoftware architectureSoftware architectureSoftware architecture
Example of ATS interfaceExample of ATS interfaceExample of ATS interfaceExample of ATS interfaceExample of ATS interface (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#" (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#" (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#" (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#" (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#"
Example of ATS applicationExample of ATS applicationExample of ATS applicationExample of ATS applicationExample of ATS application (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern�fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ ��val�()�=�println!�"some_timerfunc()�called." ��(*�Do�blinky�stuff�*) ��val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 ��val�()�=�if�v�!=�0�then �������������(*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) �����������else �������������(*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern�fun�user_init�():�void�=�"mac#" local ��var�some_timer:�os_timer_t in ��implement�user_init�()�=�{ ����val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) ����val�()�=�println!�"nuser_init()�start." ����val�_��=�wifi_set_opmode_current�NULL_MODE ����(*�Initialize�the�GPIO�subsystem.�*) ����val�()�=�gpio_init�() (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern�fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ ��val�()�=�println!�"some_timerfunc()�called." ��(*�Do�blinky�stuff�*) ��val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 ��val�()�=�if�v�!=�0�then �������������(*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) �����������else �������������(*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern�fun�user_init�():�void�=�"mac#" local ��var�some_timer:�os_timer_t in ��implement�user_init�()�=�{ ����val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) ����val�()�=�println!�"nuser_init()�start." ����val�_��=�wifi_set_opmode_current�NULL_MODE ����(*�Initialize�the�GPIO�subsystem.�*) ����val�()�=�gpio_init�() (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern�fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ ��val�()�=�println!�"some_timerfunc()�called." ��(*�Do�blinky�stuff�*) ��val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 ��val�()�=�if�v�!=�0�then �������������(*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) �����������else �������������(*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern�fun�user_init�():�void�=�"mac#" local ��var�some_timer:�os_timer_t in ��implement�user_init�()�=�{ ����val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) ����val�()�=�println!�"nuser_init()�start." ����val�_��=�wifi_set_opmode_current�NULL_MODE ����(*�Initialize�the�GPIO�subsystem.�*) ����val�()�=�gpio_init�() (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern�fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ ��val�()�=�println!�"some_timerfunc()�called." ��(*�Do�blinky�stuff�*) ��val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 ��val�()�=�if�v�!=�0�then �������������(*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) �����������else �������������(*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern�fun�user_init�():�void�=�"mac#" local ��var�some_timer:�os_timer_t in ��implement�user_init�()�=�{ ����val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) ����val�()�=�println!�"nuser_init()�start." ����val�_��=�wifi_set_opmode_current�NULL_MODE ����(*�Initialize�the�GPIO�subsystem.�*) ����val�()�=�gpio_init�() (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ val�()�=�println!�"some_timerfunc()�called." (*�Do�blinky�stuff�*) val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 val�()�=�if�v�!=�0 then (*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) else (*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern fun�user_init�():�void�=�"mac#" local var�some_timer:�os_timer_t in implement�user_init�()�=�{ val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) val�()�=�println!�"nuser_init()�start." val�_��=�wifi_set_opmode_current�NULL_MODE (*�Initialize�the�GPIO�subsystem.�*) val�()�=�gpio_init�()
Functional IoT Meetup at December 12Functional IoT Meetup at December 12Functional IoT Meetup at December 12Functional IoT Meetup at December 12Functional IoT Meetup at December 12
License of photosLicense of photosLicense of photosLicense of photosLicense of photos *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0 *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0 *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0 *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0 *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0

More Related Content

PDF
ATS2 updates 2017
byKiwamu Okabe
 
PDF
Start! ATS programming
byKiwamu Okabe
 
PDF
ATS language overview'
byKiwamu Okabe
 
PDF
Static typing and proof in ATS language
byKiwamu Okabe
 
PDF
Embedded application designed by ATS language
byKiwamu Okabe
 
PDF
Metasepi team meeting #14: ATS programming on MCU
byKiwamu Okabe
 
PDF
ATS Programming Tutorial
byKiwamu Okabe
 
PDF
Metasepi team meeting #19: ATS application on Arduino
byKiwamu Okabe
 
ATS2 updates 2017
byKiwamu Okabe
 
Start! ATS programming
byKiwamu Okabe
 
ATS language overview'
byKiwamu Okabe
 
Static typing and proof in ATS language
byKiwamu Okabe
 
Embedded application designed by ATS language
byKiwamu Okabe
 
Metasepi team meeting #14: ATS programming on MCU
byKiwamu Okabe
 
ATS Programming Tutorial
byKiwamu Okabe
 
Metasepi team meeting #19: ATS application on Arduino
byKiwamu Okabe
 

What's hot

PDF
Hands-on VeriFast with STM32 microcontroller
byKiwamu Okabe
 
PDF
Ajhc Haskell Compiler with Reentrant GC
byKiwamu Okabe
 
PDF
Monkey-patching in Python: a magic trick or a powerful tool?
byElizaveta Shashkova
 
PDF
Spring, CDI, Jakarta EE good parts
byJarek Ratajski
 
PDF
JavaScript Speech Recognition
byFITC
 
PDF
Emacs verilog-mode is coming to Debian, again
byKiwamu Okabe
 
PDF
Functional IoT: Hardware and Platform
byKiwamu Okabe
 
PDF
Metasepi team meeting #20: Start! ATS programming on MCU
byKiwamu Okabe
 
ODP
Coffeescript: Fad or Useful Tool? Socal Code Camp Fullerton 2015
byJohn Schmidt
 
PDF
Real-time OS system state captured by ATS language
byKiwamu Okabe
 
PDF
Functional IoT: Programming Language and OS
byKiwamu Okabe
 
PDF
Metasepi team meeting #16: Safety on ATS language + MCU
byKiwamu Okabe
 
PDF
Past and today of Metasepi project
byKiwamu Okabe
 
PDF
Functional IoT: Introduction
byKiwamu Okabe
 
PDF
"Black Clouds and Silver Linings in Node.js Security" Liran Tal
byJulia Cherniak
 
PDF
Let's contribute, HTML5Rocks/ko!
byChang W. Doh
 
PDF
Arduino programming of ML-style in ATS
byKiwamu Okabe
 
PDF
ATS/LF for Coq users
byKiwamu Okabe
 
PDF
Gareth Rushgrove (Puppet) - Ubiquity at #DOXLON
byOutlyer
 
PDF
Make Happiness a Habit: Refactoring Web Applications
byAnn Robson
 
Hands-on VeriFast with STM32 microcontroller
byKiwamu Okabe
 
Ajhc Haskell Compiler with Reentrant GC
byKiwamu Okabe
 
Monkey-patching in Python: a magic trick or a powerful tool?
byElizaveta Shashkova
 
Spring, CDI, Jakarta EE good parts
byJarek Ratajski
 
JavaScript Speech Recognition
byFITC
 
Emacs verilog-mode is coming to Debian, again
byKiwamu Okabe
 
Functional IoT: Hardware and Platform
byKiwamu Okabe
 
Metasepi team meeting #20: Start! ATS programming on MCU
byKiwamu Okabe
 
Coffeescript: Fad or Useful Tool? Socal Code Camp Fullerton 2015
byJohn Schmidt
 
Real-time OS system state captured by ATS language
byKiwamu Okabe
 
Functional IoT: Programming Language and OS
byKiwamu Okabe
 
Metasepi team meeting #16: Safety on ATS language + MCU
byKiwamu Okabe
 
Past and today of Metasepi project
byKiwamu Okabe
 
Functional IoT: Introduction
byKiwamu Okabe
 
"Black Clouds and Silver Linings in Node.js Security" Liran Tal
byJulia Cherniak
 
Let's contribute, HTML5Rocks/ko!
byChang W. Doh
 
Arduino programming of ML-style in ATS
byKiwamu Okabe
 
ATS/LF for Coq users
byKiwamu Okabe
 
Gareth Rushgrove (Puppet) - Ubiquity at #DOXLON
byOutlyer
 
Make Happiness a Habit: Refactoring Web Applications
byAnn Robson
 

Similar to ATS programming on ESP8266

PPTX
Microprocessor 8085 vtnnfgnrtnrtnbntynym
byNabadweepChamuah1
 
PDF
Microcontroladores: programación de microcontroladores PIC de 8 bits en C
bySANTIAGO PABLO ALBERTO
 
PPTX
Embedded system design using arduino
bySantosh Verma
 
PPT
8051.ppt microcontroller full detail explnation
byrevanthkumartr
 
PDF
Safer IoT using functional language
byKiwamu Okabe
 
PPTX
Basic Programming Tools Used in Microcontrollers for Robots lesson.pptx
byroselindolos
 
PDF
TinyOS programming 1st Edition Philip Levis
bycanqobnv6874
 
PDF
TinyOS programming 1st Edition Philip Levis
byflaizjaganej
 
PPTX
8051 basics
byVishnu Chittan Mudrakartha
 
PPTX
microcontroller 8051 hfdsdsyghydfhdsgukhdfsdgjkghu
bysuchitra72aw
 
PDF
Discovering st32
bypesccia
 
PPTX
Overview of Microcontroller and ATMega32 microcontroller
byRup Chowdhury
 
PDF
Tos tutorial
bymanikainth
 
PPT
Embedded systems, 8051 microcontroller
byAmandeep Alag
 
PPT
Embedded systems, 8051 microcontroller
byAmandeep Alag
 
PPT
Mcu51
byEngrShoaib
 
DOC
8051mc notes-121004121921-phpapp01
byblacktricker
 
PPTX
EC18713 EMBEDDED SYSTEMS LABORATORY, EC18713
byARULPECE
 
DOC
8051mc notes-121004121921-phpapp01
byayushi sharma
 
PPT
Ppt embedded
bykaran bansal
 
Microprocessor 8085 vtnnfgnrtnrtnbntynym
byNabadweepChamuah1
 
Microcontroladores: programación de microcontroladores PIC de 8 bits en C
bySANTIAGO PABLO ALBERTO
 
Embedded system design using arduino
bySantosh Verma
 
8051.ppt microcontroller full detail explnation
byrevanthkumartr
 
Safer IoT using functional language
byKiwamu Okabe
 
Basic Programming Tools Used in Microcontrollers for Robots lesson.pptx
byroselindolos
 
TinyOS programming 1st Edition Philip Levis
bycanqobnv6874
 
TinyOS programming 1st Edition Philip Levis
byflaizjaganej
 
8051 basics
byVishnu Chittan Mudrakartha
 
microcontroller 8051 hfdsdsyghydfhdsgukhdfsdgjkghu
bysuchitra72aw
 
Discovering st32
bypesccia
 
Overview of Microcontroller and ATMega32 microcontroller
byRup Chowdhury
 
Tos tutorial
bymanikainth
 
Embedded systems, 8051 microcontroller
byAmandeep Alag
 
Embedded systems, 8051 microcontroller
byAmandeep Alag
 
Mcu51
byEngrShoaib
 
8051mc notes-121004121921-phpapp01
byblacktricker
 
EC18713 EMBEDDED SYSTEMS LABORATORY, EC18713
byARULPECE
 
8051mc notes-121004121921-phpapp01
byayushi sharma
 
Ppt embedded
bykaran bansal
 

Recently uploaded

PDF
MicroPython presentation - PyConFr Lyon 2025 - Amine Bendahmane
byAmine Bendahmane
 
PDF
ODSC West 2025 OpenMetadata Workshop.pdf
byOpenMetadata
 
PDF
Staying Ahead of the Curve - Roaming Just Got Easier
bypanagenda
 
PPTX
UiPath Automation Suite_Community Session_3/3
bysuhanisingh58689
 
PDF
Transform Your Online Store with AltiusNxt AI Enriched data
byAltiusNxt Technologies
 
PDF
Data Center Exit to Cloud _ Managed Datacenter Migration.pdf
byAstuteBusiness
 
PDF
FME Realize in the Real World - The Power of Spatial Computing in Action
bySafe Software
 
PDF
Spec Driven Development with Kiro: Ensuring Quality and Traceability in the A...
byHaim Michael
 
PDF
Fighting CVEs in Embedded Linux with the Yocto Project and OTA Updates
byLeon Anavi
 
PDF
Yelp Data Scraping for Local Services Market Insights
bycreativeclicks1733
 
PDF
How Generative AI Helps US Healthcare Startups Save 40.pdf
byimoliviabennett
 
PDF
API Days Australia - API Management in the AI Era
byNilesh Gule
 
PDF
Session 8 Specialized AI Associate Series: Fundamentals of Model Training
byDianaGray10
 
PDF
OpenObserve as a replacement for Elasticsearch
byAlireza Kamrani
 
PDF
UiPath Community Day UNI - Nuevos productos de UiPath.pdf
byfelixluen
 
PDF
Transcript: Embedding sustainability: Tips for ebook and print production - T...
byBookNet Canada
 
PDF
Upskill to Agentic Automation - Working Smarter with AI: Real-World Tools for...
byDianaGray10
 
PDF
The Future-Ready PMO: Unlocking Project Success with Copilot and AI Innovatio...
byWellingtone
 
PDF
Unlocking Access: Enriching Public Services with Location Intelligence.pdf
byPrecisely
 
PDF
Embedding sustainability: Tips for ebook and print production - Tech Forum 2025
byBookNet Canada
 
MicroPython presentation - PyConFr Lyon 2025 - Amine Bendahmane
byAmine Bendahmane
 
ODSC West 2025 OpenMetadata Workshop.pdf
byOpenMetadata
 
Staying Ahead of the Curve - Roaming Just Got Easier
bypanagenda
 
UiPath Automation Suite_Community Session_3/3
bysuhanisingh58689
 
Transform Your Online Store with AltiusNxt AI Enriched data
byAltiusNxt Technologies
 
Data Center Exit to Cloud _ Managed Datacenter Migration.pdf
byAstuteBusiness
 
FME Realize in the Real World - The Power of Spatial Computing in Action
bySafe Software
 
Spec Driven Development with Kiro: Ensuring Quality and Traceability in the A...
byHaim Michael
 
Fighting CVEs in Embedded Linux with the Yocto Project and OTA Updates
byLeon Anavi
 
Yelp Data Scraping for Local Services Market Insights
bycreativeclicks1733
 
How Generative AI Helps US Healthcare Startups Save 40.pdf
byimoliviabennett
 
API Days Australia - API Management in the AI Era
byNilesh Gule
 
Session 8 Specialized AI Associate Series: Fundamentals of Model Training
byDianaGray10
 
OpenObserve as a replacement for Elasticsearch
byAlireza Kamrani
 
UiPath Community Day UNI - Nuevos productos de UiPath.pdf
byfelixluen
 
Transcript: Embedding sustainability: Tips for ebook and print production - T...
byBookNet Canada
 
Upskill to Agentic Automation - Working Smarter with AI: Real-World Tools for...
byDianaGray10
 
The Future-Ready PMO: Unlocking Project Success with Copilot and AI Innovatio...
byWellingtone
 
Unlocking Access: Enriching Public Services with Location Intelligence.pdf
byPrecisely
 
Embedding sustainability: Tips for ebook and print production - Tech Forum 2025
byBookNet Canada
 

ATS programming on ESP8266

  • 1.
    ATS programming onESP8266ATS programming on ESP8266ATS programming on ESP8266ATS programming on ESP8266ATS programming on ESP8266 Kiwamu OkabeKiwamu OkabeKiwamu OkabeKiwamu OkabeKiwamu Okabe
  • 2.
    ESP8266 moduleESP8266 moduleESP8266moduleESP8266 moduleESP8266 module ☆ http://espressif.com/en/products/wroom/☆ http://espressif.com/en/products/wroom/☆ http://espressif.com/en/products/wroom/☆ http://espressif.com/en/products/wroom/☆ http://espressif.com/en/products/wroom/ ☆ 32-bit low power MCU Wi-Fi Module☆ 32-bit low power MCU Wi-Fi Module☆ 32-bit low power MCU Wi-Fi Module☆ 32-bit low power MCU Wi-Fi Module☆ 32-bit low power MCU Wi-Fi Module ☆ Having integrated TCP/IP network stacks☆ Having integrated TCP/IP network stacks☆ Having integrated TCP/IP network stacks☆ Having integrated TCP/IP network stacks☆ Having integrated TCP/IP network stacks ☆ Including ADC, SDIO, UART, PWM, I2C ...☆ Including ADC, SDIO, UART, PWM, I2C ...☆ Including ADC, SDIO, UART, PWM, I2C ...☆ Including ADC, SDIO, UART, PWM, I2C ...☆ Including ADC, SDIO, UART, PWM, I2C ... ☆ Small form factor of only 18mm x 20mm☆ Small form factor of only 18mm x 20mm☆ Small form factor of only 18mm x 20mm☆ Small form factor of only 18mm x 20mm☆ Small form factor of only 18mm x 20mm
  • 3.
    ATS languageATS languageATSlanguageATS languageATS language ☆ http://www.ats-lang.org/☆ http://www.ats-lang.org/☆ http://www.ats-lang.org/☆ http://www.ats-lang.org/☆ http://www.ats-lang.org/ ☆ DML-style dependent types☆ DML-style dependent types☆ DML-style dependent types☆ DML-style dependent types☆ DML-style dependent types ☆ Linear types☆ Linear types☆ Linear types☆ Linear types☆ Linear types ☆ Optional GC☆ Optional GC☆ Optional GC☆ Optional GC☆ Optional GC ☆ Optional malloc/free☆ Optional malloc/free☆ Optional malloc/free☆ Optional malloc/free☆ Optional malloc/free ☆ Optional run-time☆ Optional run-time☆ Optional run-time☆ Optional run-time☆ Optional run-time
  • 4.
    DemoDemoDemoDemoDemo The code isfound at following:The code is found at following:The code is found at following:The code is found at following:The code is found at following: https://github.com/fpiot/esp8266-atshttps://github.com/fpiot/esp8266-atshttps://github.com/fpiot/esp8266-atshttps://github.com/fpiot/esp8266-atshttps://github.com/fpiot/esp8266-ats
  • 5.
    Demo environmentDemo environmentDemoenvironmentDemo environmentDemo environment
  • 6.
    Software architectureSoftware architectureSoftwarearchitectureSoftware architectureSoftware architecture
  • 7.
    Example of ATSinterfaceExample of ATS interfaceExample of ATS interfaceExample of ATS interfaceExample of ATS interface (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#" (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#" (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#" (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#" (*�https://github.com/fpiot/esp8266-ats/blob/ats/SATS/gpio.sats�*) %{# #include�"ets_sys.h" #include�"gpio.h" %} macdef�BIT2�=�$extval(uint,�"BIT2") macdef�GPIO_OUT_ADDRESS��=�$extval(int,�"GPIO_OUT_ADDRESS") macdef�PERIPHS_IO_MUX_GPIO2_U�=�$extval(ptr,�"PERIPHS_IO_MUX_GPIO2_U") macdef�FUNC_GPIO2�=�$extval(uint,�"FUNC_GPIO2") fun�GPIO_REG_READ�(x:�int):�uint�=�"mac#" fun�PIN_FUNC_SELECT�(p:�ptr,�v:�uint):�void�=�"mac#" fun�PIN_PULLUP_EN�(p:�ptr):�void�=�"mac#" fun�gpio_init�():�void�=�"mac#" fun�gpio_output_set�(set_mask:�uint,�clear_mask:�uint, ���������������������enable_mask:�uint,�disable_mask:�uint):�void�=�"mac#"
  • 8.
    Example of ATSapplicationExample of ATS applicationExample of ATS applicationExample of ATS applicationExample of ATS application (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern�fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ ��val�()�=�println!�"some_timerfunc()�called." ��(*�Do�blinky�stuff�*) ��val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 ��val�()�=�if�v�!=�0�then �������������(*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) �����������else �������������(*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern�fun�user_init�():�void�=�"mac#" local ��var�some_timer:�os_timer_t in ��implement�user_init�()�=�{ ����val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) ����val�()�=�println!�"nuser_init()�start." ����val�_��=�wifi_set_opmode_current�NULL_MODE ����(*�Initialize�the�GPIO�subsystem.�*) ����val�()�=�gpio_init�() (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern�fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ ��val�()�=�println!�"some_timerfunc()�called." ��(*�Do�blinky�stuff�*) ��val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 ��val�()�=�if�v�!=�0�then �������������(*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) �����������else �������������(*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern�fun�user_init�():�void�=�"mac#" local ��var�some_timer:�os_timer_t in ��implement�user_init�()�=�{ ����val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) ����val�()�=�println!�"nuser_init()�start." ����val�_��=�wifi_set_opmode_current�NULL_MODE ����(*�Initialize�the�GPIO�subsystem.�*) ����val�()�=�gpio_init�() (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern�fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ ��val�()�=�println!�"some_timerfunc()�called." ��(*�Do�blinky�stuff�*) ��val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 ��val�()�=�if�v�!=�0�then �������������(*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) �����������else �������������(*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern�fun�user_init�():�void�=�"mac#" local ��var�some_timer:�os_timer_t in ��implement�user_init�()�=�{ ����val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) ����val�()�=�println!�"nuser_init()�start." ����val�_��=�wifi_set_opmode_current�NULL_MODE ����(*�Initialize�the�GPIO�subsystem.�*) ����val�()�=�gpio_init�() (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern�fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ ��val�()�=�println!�"some_timerfunc()�called." ��(*�Do�blinky�stuff�*) ��val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 ��val�()�=�if�v�!=�0�then �������������(*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) �����������else �������������(*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern�fun�user_init�():�void�=�"mac#" local ��var�some_timer:�os_timer_t in ��implement�user_init�()�=�{ ����val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) ����val�()�=�println!�"nuser_init()�start." ����val�_��=�wifi_set_opmode_current�NULL_MODE ����(*�Initialize�the�GPIO�subsystem.�*) ����val�()�=�gpio_init�() (*�https://github.com/fpiot/esp8266-ats/blob/ats/blinky_ats/user/ user_main.dats�*) extern fun�some_timerfunc�(arg:�ptr):�void implement�some_timerfunc�(arg)�=�{ val�()�=�println!�"some_timerfunc()�called." (*�Do�blinky�stuff�*) val�v�=�GPIO_REG_READ(GPIO_OUT_ADDRESS)�land�BIT2 val�()�=�if�v�!=�0 then (*�Set�GPIO2�to�LOW�*) �������������gpio_output_set�(0U,�BIT2,�BIT2,�0U) else (*�Set�GPIO2�to�HIGH�*) �������������gpio_output_set�(BIT2,�0U,�BIT2,�0U) } extern fun�user_init�():�void�=�"mac#" local var�some_timer:�os_timer_t in implement�user_init�()�=�{ val�()�=�uart_div_modify(0,�UART_CLK_FREQ�/�115200) val�()�=�println!�"nuser_init()�start." val�_��=�wifi_set_opmode_current�NULL_MODE (*�Initialize�the�GPIO�subsystem.�*) val�()�=�gpio_init�()
  • 9.
    Functional IoT Meetupat December 12Functional IoT Meetup at December 12Functional IoT Meetup at December 12Functional IoT Meetup at December 12Functional IoT Meetup at December 12
  • 10.
    License of photosLicenseof photosLicense of photosLicense of photosLicense of photos *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0 *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0 *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0 *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0 *�About�time�I�had�a�whisky�glass!�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/toolmantim/14834817323/ ��Copyright:�Tim�Lucas�/�License:�CC�BY�2.0 *�Japanese�traditional�style�house�design�/�和⾵建築(わふうけんちく)�￨� Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/tanaka_juuyoh/10720411936/ ��Copyright:�TANAKA�Juuyoh�(⽥中⼗洋)�/�License:�CC�BY�2.0 *�Undirected�member-get-member�network�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/porternovelli/2587018053/ ��Copyright:�Porter�Novelli�Global�/�License:�CC�BY-SA�2.0 *�JTAG�board�1�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/amagill/2877921712/ ��Copyright:�Andrew�Magill�/�License:�CC�BY�2.0 *�Creative�Commons�BBB�￨�Flickr�-�Photo�Sharing! ��https://www.flickr.com/photos/steren/2732488224/ ��Copyright:�Steren�Giannini�/�License:�CC�BY�2.0