Metasepi maps Unix-like kernel design into the functional sea.

Blog

Links

Sub Projects

  • Japanese translations about ATS, VeriFast, and F*
  • Functional IoT is a wrestling mat that strong typed languages fight on
  • Ajhc is a Haskell compiler for Arafura iteration (shutdowned)