index.html

---
layout: default
---
<div class="default">
  <h1>Welcome to Heisenbug Ltd.</h1>

  <p>Heisenbug Ltd. is an organization committed to high assurance software, written in Ada and SPARK.</p>

  <hr/>
  <h2>Somewhat Stable Projects</h2>

  <p>
    <a href="{{ site.baseurl }}/Saatana/">
      <img src="https://raw.githubusercontent.com/HeisenbugLtd/heisenbugltd.github.io/master/assets/img/saatana/profile-small.png"
           alt="Saatana logo"/>
      Saatana</a>- A cryptographic framework, proven for correctness in SPARK
    <p>Latest version: <a href="https://github.com/HeisenbugLtd/Saatana/releases/tag/v2.0.2">2.0.2</a></p>
  </p>

  <p>
    <a href="{{ site.baseurl }}/si_units/">
      <img src="https://raw.githubusercontent.com/HeisenbugLtd/heisenbugltd.github.io/master/assets/img/si_units/profile-small.png"
           alt="SI_Units logo"/>
      SI_Units</a>- Utility library to pretty print physical values in proper metric units
    <p>Latest version: <a href="https://github.com/HeisenbugLtd/si_units/releases/tag/v0.2.0">0.2.0</a></p>
  </p>

  <p>
    <a href="{{ site.baseurl }}/spat/">
      <img src="https://raw.githubusercontent.com/HeisenbugLtd/heisenbugltd.github.io/master/assets/img/spat/profile-small.png"
           alt="SPAT logo"/>
      S.P.A.T</a>- SPARK Proof Analysis Tool
    <p>Latest version: <a href="https://github.com/HeisenbugLtd/spat/releases/tag/v1.3.0">1.3.0</a></p>
    <p>Requires <a href="{{ site.baseurl }}/si_units/">SI_Units</a></p>
  </p>

  <hr/>
  <h2>Work-in-Progress Projects</h2>

  <p>
    <a href="{{ site.baseurl }}/open_weather_map_api/">
      <!-- img link="https://raw.githubusercontent.com/HeisenbugLtd/heisenbugltd.github.io/master/assets/img/spat/profile-small.png"/ -->
      OpenWeatherMap API</a>- Ada binding to the openweathermap.org JSON API.
  </p>
</div>

<hr/>
<h1>Blog</h1>

<div class="posts">
  {% for post in site.posts %}
    <article class="post">
      <h1><a href="{{ site.baseurl }}{{ post.url }}">{{ post.title }}</a></h1>
      <div class="entry">
        {{ post.excerpt }}
      </div>
      <a href="{{ site.baseurl }}{{ post.url }}" class="read-more">Read More</a>
    </article>
  {% endfor %}
</div>