index.html

---
title: Home
---

<section id="main-content">
<p>
  Metasepi maps Unix-like kernel design into the functional sea.
</p>

<h2>Blog <a href="http://metasepi.org/rss_en.xml"><img src="img/feed-icon-20x20.png" /></a></h2>
<ul>
  $posts_en$
</ul>

<h2>Links</h2>
<ul>
  <li><a href="https://github.com/metasepi">Source code</a></li>
  <li><a href="https://www.youtube.com/c/metasepi">Videos</a></li>
  <li><a href="http://groups.google.com/group/metasepi">Mailing list</a></li>
  <li><a href="http://metasepi.connpass.com/">Meetup in Japan</a></li>
</ul>

<h2>Sub Projects</h2>
<ul>
  <li>Japanese translations about <a href="http://jats-ug.metasepi.org/">ATS</a>, <a href="https://github.com/jverifast-ug/translate">VeriFast</a>, and <a href="http://fstar-ja.metasepi.org/">F*</a></li>
  <li><a href="http://fpiot.metasepi.org/">Functional IoT</a> is a wrestling mat that strong typed languages fight on</li>
  <li><a href="http://ajhc.metasepi.org/">Ajhc</a> is a Haskell compiler for Arafura iteration (shutdowned)</li>
</ul>
</section>

<aside id="sidebar">
<iframe src="//www.facebook.com/plugins/likebox.php?href=https%3A%2F%2Fwww.facebook.com%2Fmetasepi&amp;width=200&amp;height=180&amp;colorscheme=light&amp;show_faces=true&amp;header=false&amp;stream=false&amp;show_border=false&amp;appId=310889061205" scrolling="no" frameborder="0" style="border:none; overflow:hidden; width:200px; height:180px;" allowTransparency="true"></iframe>
<div><a href="https://www.patreon.com/bePatron?u=14024680" data-patreon-widget-type="become-patron-button">Become a Patron!</a><script async src="https://c6.patreon.com/becomePatronButton.bundle.js"></script></div>
<div><p><img src="img/donate_bitcoin_200x200.png" /><br><a href="bitcoin:15qcnttF66nu3veUQPsEGrveY8Eccy1jWc?label=DonateMetasepi"><font size="1"><i>15qcnttF66nu3veUQPsEGrveY8Eccy1jWc</i></font></a><br><a href="https://blockchain.info/address/15qcnttF66nu3veUQPsEGrveY8Eccy1jWc"><font size="1"><i>Who donated on Bitcoin?</i></font></a></p></div>
<script language="javascript" type="text/javascript" src="http://counting.hatelabo.jp/widget?count_id=91783" charset="utf-8"></script>
</aside>