ProR is an Open Source requirements tool that has been co-developed by my company, Formal Mind. We just published our own distribution, called formalmind Studio, which also contains our productivity enhancements ProR Essentials.  Of course it’s free, and you can download it here.