Posts tagged haskell

• A toy translator C to ATS  ‒ July 19, 2019
  Try to translate IDIOMATIC C code into human readable ATS code.
• c2ats - An utility to generate ATS interface from C code  ‒ September 17, 2016
  Create scaffold to rewrite large Unix-like kernel using ATS.
• Metasepi team meeting  ‒ March 1, 2014
  A debrief meeting of Arafura iteration
• Metasepi team meeting  ‒ January 17, 2014
  Let's set out on a tour of what's on corporate researcher's mind
• Kickoff Japan ATS User Group (JATS-UG) and Ajhc's future plan  ‒ December 24, 2013
  Build a portal site to pool infomation about ATS lanugage in Japanese
• Arafura Design  ‒ January 9, 2013
  Get first design for Metasepi kernel.