Releases around HOL-Theorem-Prover/HOL kananaskis-10 on GitHub

Maybe you can find something interesting in this list
github
slab/quill on GitHub v0.19.3
github
gregkh/linux on GitHub v3.18-rc4

Don't miss a new release

NewReleases is sending notifications on new releases.