index.html

---
layout: default
---

<div class="header-container jumbotron">
    <div class="container">
        <h1>The Protelis Programming Language for Aggregate Computing</h1>
        <p>Practical aggregate programming, hosted in Java.</p>
        <p><a class="btn btn-primary btn-lg" href="{{ site.git_address }}" role="button">Learn more</a></p>
    </div>
</div>


<div class="container">

    <div class="row">
        <div class="col-md-5 text-justify">
            <h2 class="header-light regular-pad">Why Protelis?</h2>
            <blockquote>
              <p>The goal of the Protelis language is to make it easier to build a resilient and well-behaved networked system out of an assortment of different potentially mobile devices. Protelis is designed for the paradigm of "aggregate programming", a way of thinking about and decomposing problems that can be solved with a network of distributed sensors and computers. Aggregate programming tries to produce reliable and robust collective behavior from uncoordinated local interactions between machines. That's hard to do, but Protelis helps!</p>
            </blockquote>
        </div>
        <div class="col-md-7 text-center">
            <img src="images/overview.png" alt="" class="img-responsive">
        </div>
    </div>

    <hr>

    <div class="row text-justify">
        <div class="col-sm-4">
            <h1 class="text-center"><i class="fa fa-pencil" aria-hidden="true"></i></h1>
            <h3 class="text-center">Protelis is a language</h3>
            <p>Protelis is a language, not just a library. Because it's a language, Protelis can handle some of the tough parts of distributed systems implicitly, preventing some common mistakes and problems.
              Although Protelis is not Java, it's designed to look similar. Developers who already know Java can more easily learn Protelis.
            </p>
        </div>
        <div class="col-sm-4">
            <h1 class="text-center"><i class="fa fa-cogs" aria-hidden="true"></i></h1>
            <h3 class="text-center">Protelis and Java</h3>
            <p>Protelis is hosted in and integrated with Java. It is lightweight and can take advantage of the large and well-established ecosystem of Java infrastructure and libraries.</p>
        </div>
        <div class="col-sm-4">
            <h1 class="text-center"><i class="fa fa-code-fork" aria-hidden="true"></i></h1>
            <h3 class="text-center">Field calculus</h3>
            <p>Protelis can ensure safe and resilient composition because it is built on field calculus. Field calculus is a theoretical model of aggregate programming much like lambda calculus is for functional programming.</p>
        </div>
    </div>


</div>