Petra: A new way to code reliably.

A project in London, UK by Petracode
000days 
:
00hours 
:
00minutes 

Funding Unsuccessful

Manage Complexity with Petra, simplified formal methods for object-oriented programming.
Software
Backers: 13
Average Pledge Per Backer: £145

Funded: £1,890 of £5,000
Dates: Sep 9th -> Nov 8th (61 days)
Project By: Petracode
Tags:
Aw shucks, no tags yet. +Suggest

Suggest Tags

Begin typing to search or pick from a list. You can add multiple tags at the same time!
SubmitCancel

What is tagging? || Have a new tag we should add?
Saving your suggestions...
Suggestion Saved Successfully
Thank you for your help! The Kicktraq gnomes will get to work on your suggestions very soon.

Please keep in mind not all suggestions may be used, and repeated re-submissions may result in being rejected automatically (and we don't want that to happen).

If you have any questions, have a good idea for a tag, or a more in-depth suggestion - please feel free to let us know!

Ok
Hrm... something went wrong.
Hey, bad things happen to the best of us. Don't worry, the gnomes have been dispatched. Maybe try again in a little while.

Ok

£1,890

current pledge level
Last Updated: November 8 @ 07:11 -0500 GMT

37%

of goal
funding period ended

£0

trending toward
Trends are not projections. Read More >>

0%

of goal

(loading your very own snazzy kicktraq chart)

(loading your very own snazzy kicktraq chart)

(loading your very own snazzy kicktraq chart)

(loading your very own snazzy kicktraq chart)

(loading your very own snazzy kicktraq chart)

Now you can share!

Help your backers reach your daily goals and help others see how you're doing. It's easy, with Kicktraq Mini.

Here are a few quick snippits of code you can use to embed your personalized widget on your website, in your blog, and even on your favorite forum.

HTML for websites & blogs
Copy HTML

BBCode for forums
Copy BBCode

Reddit code for... well, Reddit
Copy Reddit Code

Special Note: Kickstarter recently disabled remote embedding for images on project pages, so embedding code doesn't work on project pages (yet) - just everywhere else.

You can read more about it here.
Latest News

16 days to go and 37% funded, spread the word and lets get Petra funded!

October 23rd - via: kickstarter.com
Your support has been amazing so far! It has given us the energy to build as we campaign, here's what we have achieved so far: Released the start of Petra's online documentation, including examples, set theory documentation, and developer guides.... (Read More)

If you have additional news that doesn't appear here, shoot us a link!