Releases around SRI-CSL/PVS pvs2.3 on GitHub

Maybe you can find something interesting in this list
github
SRI-CSL/PVS on GitHub pvs2.3 pvs2.2
github
greenbone/gsad on GitHub v3.0+beta6
github
ntpsec/ntpsec on GitHub NTP_4_2_7P235
sourceforge
libdc1394 on SourceForge libdc1394-2/2.1.4/libdc1394-2.1.4.tar.gz
github
mozilla/kitsune on GitHub 2011-11-15-2 2011-11-15-1
github
bhdone/btchd on GitHub v0.5.0rc5
github
samvera/hyrax on GitHub v3.1.0.rc2
github
pika/pika on GitHub en_support_20111115
github
samvera/hyrax on GitHub v3.1.0.rc1
npm
tap on Node.js NPM 0.0.14
github
kpetridis24/networkx on GitHub networkx-1.6rc1
github
openwall/john on GitHub 1.7.8-jumbo-8

Don't miss a new release

NewReleases is sending notifications on new releases.