[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
Log:
Added the Pony Programming Language project.
Modified:
www/trunk/ProjectsWithLLVM/index.html
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">
<ul>
+<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>
<!--=========================================================================-->
+<div class="www_subsection">
+ <a name="pony">Pony Programming Language</a>
+</div>
+
+<div class="www_subsubsection">
+ By <a href=âhttp://www.ponylang.orgâ>the Pony Development Team</a>
+</div>
+
+<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>
+
+<!--=========================================================================-->
<div class="www_subsection">
<a name="smack">SMACK Software Verifier</a>
</div>
More information about the llvm-commits
mailing list