Metasepi maps Unix-like kernel design into the functional sea.
A toy translator C to ATS
‒ July 19, 2019
Try to translate IDIOMATIC C code into human readable ATS code.
So long VeriFast, and see again ATS
‒ November 13, 2018
Shutdown Chiers iteration, and Come back to Bohai.
You must buy SyncStitch with only 64,800 JPY!
‒ October 15, 2018
Dive into CSP (Communicating Sequential Processes) modeling.
Hands-on VeriFast with STM32 microcontroller
‒ February 5, 2017
Verify ChibiOS/RT sample application using VeriFast
c2ats - An utility to generate ATS interface from C code
‒ September 17, 2016
Create scaffold to rewrite large Unix-like kernel using ATS.