Metasepi maps Unix-like kernel design into the functional sea.
c2ats - An utility to generate ATS interface from C code
‒ September 17, 2016
Create scaffold to rewrite large Unix-like kernel using ATS.
Functional IoT Meetup
‒ January 30, 2016
First meetup to talk about Functional programming on embedded device.
Metasepi's going year and coming year, 2015
‒ December 31, 2015
Look back on 2015, and dream next year!
ATS Programming Tutorial at PPL 2015
‒ March 6, 2015
An ATS Programming Tutorial for beginner.
Metasepi team meeting
‒ October 19, 2014
ATS application on Arduino Uno