Fwd: ITP: capnproto -- Cap'n Proto: a fast data interchange format & capability-based RPC system.

[Tom Lee]

Gmail thwarted my attempts to add the X-Debbugs-CC header, so I'm
forwarding this ITP on manually.

Relevant bug number is 719782

Cheers,
Tom



-- Forwarded message --
From: Tom Lee 
Date: Thu, Aug 15, 2013 at 3:02 AM
Subject: ITP: capnproto -- Cap'n Proto: a fast data interchange format
& capability-based RPC system.
To: sub...@bugs.debian.org


Package: wnpp
Severity: wishlist
Owner: Tom Lee 

* Package name: capnproto
  Version : 0.2.0
  Upstream Author : Kenton Varda 
* URL : http://kentonv.github.io/capnproto/index.html
* License : BSD
  Programming Lang: C++
  Description : Cap'n Proto: a fast data interchange format &
capability-based RPC system.

Similar to Protocol Buffers, Cap'n Proto is an efficient means of
serializing structured data to be transferred across a network or
written to disk. Users write a Cap'n Proto definition file that
drives a code generator, which in turn emits C++ code for encoding &
decoding messages in the Cap'n Proto format.

In addition to being extremely fast, Cap'n Proto also smooths over some
of the rougher aspects of Protocol Buffers & introduces a number of new
features to boot.

Cap'n Proto is actively maintained by the primary author of Protocol
Buffers v2, Kenton Varda.


-- 
Tom Lee / http://tomlee.co / @tglee


-- 
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/CAKwFPQ_V68tT=u+bpz7ynktx2-4ndagog565rtxsfy6ymu-...@mail.gmail.com

Bug#814306: ITP: spin -- a software verification tool

[Tom Lee]

Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@lists.debian.org

I'm working on Debian packages for Gerard J. Holzmann's Spin software
verification tool, which has recently become available under the BSD
3-Clause license. Holzmann's original paper "The Model Checker: SPIN" has
been cited over a thousand times in academia according to ACM. Spin has
also seen success in a number of commercial and government projects,
including NASA's investigation of alleged unintended acceleration in the
Toyota Camry MY05's control software.

Packaging WIP is available here: https://github.com/thomaslee/spin-debian

Initial indications are the packaging will be relatively simple with some
minimal patches.

Further reading:

http://spinroot.com
https://en.wikipedia.org/wiki/SPIN_model_checker
https://en.wikipedia.org/wiki/Promela
http://spinroot.com/spin/success.html



-- 
*Tom Lee */ http://tomlee.co / @tglee <http://twitter.com/tglee>