[www] r240602 - Added the Pony Programming Language project.

John Criswell criswell at uiuc.edu
Wed Jun 24 15:58:07 PDT 2015

Author: criswell
Date: Wed Jun 24 17:58:07 2015
New Revision: 240602

URL: http://llvm.org/viewvc/llvm-project?rev=240602&view=rev
Added the Pony Programming Language project.


Modified: www/trunk/ProjectsWithLLVM/index.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/ProjectsWithLLVM/index.html?rev=240602&r1=240601&r2=240602&view=diff
--- www/trunk/ProjectsWithLLVM/index.html (original)
+++ www/trunk/ProjectsWithLLVM/index.html Wed Jun 24 17:58:07 2015
@@ -36,6 +36,7 @@
 <div class="www_text">
+<li><a href="#pony">Pony Programming Language</a></li>
 <li><a href="#smack">SMACK Software Verifier</a></li>
 <li><a href="#discopop">DiscoPoP: A Parallelism Discovery Tool</a></li>
 <li><a href="#jade">Just-in-time Adaptive Decoder Engine (Jade)</a></li>
@@ -76,6 +77,29 @@
+<div class="www_subsection">
+  <a name="pony">Pony Programming Language</a>
+<div class="www_subsubsection">
+  By <a href=“http://www.ponylang.org”>the Pony Development Team</a>
+<div class="www_text">
+  <p>
+  Pony is an object-oriented, actor-model, capabilities-secure, high
+  performance programming language. It emphasizes a concurrent mindset by
+  extending the class model with the actor model such that actors are
+  first-class citizens. The language is statically typed, type- and memory-safe
+  and comes with a collection of powerful guarantees: no data races, no
+  uncaught exceptions, and no deadlocks.  Pony implements a
+  mark-and-don’t-sweep garbage collector without requiring generations
+  or read and write barriers.  There is no “stop-the-world” step
+  required.  All message passing between actors is causal.
+  </p>
 <div class="www_subsection">
 <a name="smack">SMACK Software Verifier</a>

More information about the llvm-commits mailing list