Releases around FStarLang/FStar v0.9.0 on GitHub

Maybe you can find something interesting in this list
github
vmware/open-vm-tools on GitHub open-vm-tools-10.0.0-3000743
sourceforge
rufus.mirror on SourceForge v2.3/v2.3.zip v2.3/v2.3.tar.gz
github
hyphanet/fred on GitHub testing-build-1471-pre1
github
mccxiv/tc on GitHub 1.0.0-beta.16
github
FarGroup/FarManager on GitHub builds/3.0.4410
github
selenide/selenide on GitHub selenide-2.22
github
facebook/hhvm on GitHub HHVM-3.9.1
github
bminor/binutils-gdb on GitHub gdb-7.10-release
github
389ds/389-ds-base on GitHub 389-ds-base-1.2.11.15-61
github
ximion/appstream on GitHub APPSTREAM_0_8_3

Don't miss a new release

NewReleases is sending notifications on new releases.