Kiwamu Okabe is creating Metasepi project to shape quality of embedded software.
1

patron

$9
per month
Metasepi project is challenging to create a free software Unix-like operating system designed with strong type.

I found Metasepi project what is trying to apply strong type to embedded programming. For my first challenging, I developed an embedded Haskell compiler named Ajhc, and published some research papers. Today, I choose ATS language as embedded functional language, and found Japan ATS User Group what holds Japanese translations about the language. And I’m implementing these technology on tiny MCU such like ARM Cortex-M series and 8bit AVR for practical use.

Metasepi is very experimental and ambitious project, however I believe that it also introduces an by-product ``the technology to design real software with predictable manpower and safety’’ regardless of embedded domain.
Metasepi project is challenging to create a free software Unix-like operating system designed with strong type.

I found Metasepi project what is trying to apply strong type to embedded programming. For my first challenging, I developed an embedded Haskell compiler named Ajhc, and published some research papers. Today, I choose ATS language as embedded functional language, and found Japan ATS User Group what holds Japanese translations about the language. And I’m implementing these technology on tiny MCU such like ARM Cortex-M series and 8bit AVR for practical use.

Metasepi is very experimental and ambitious project, however I believe that it also introduces an by-product ``the technology to design real software with predictable manpower and safety’’ regardless of embedded domain.

Recent posts by Kiwamu Okabe