Kiwamu Okabe

is creating Metasepi project to shape quality of embedded software.




per month

About Kiwamu Okabe

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.

While you keep to be my patron, I show both your icon and link to your profile page on Metasepi web site such as following:

And you can see the past patrons and supporters at this page.

How it works

Get started in 2 minutes

Choose a membership
Sign up
Add a payment method
Get benefits