Releases around HOL-Theorem-Prover/HOL trindemossen-2-v5 on GitHub

Maybe you can find something interesting in this list
github
HOL-Theorem-Prover/HOL on GitHub trindemossen-2-v5
github
anthraxx/linux-hardened on GitHub v6.6.146-hardened1
github
CVEProject/cvelistV5 on GitHub cve_2026-08-03_0000Z
npm
@upstash/redis on Node.js NPM 0.0.0-ci.e45fb7848a51d164b6bd2bd8e71fcafcb9034165-20260803004523
github
pytorch/pytorch on GitHub ciflow/trunk/190324 ciflow/torchtitan/190324 ciflow/inductor/190324
hex
langchain on Hex 0.9.6
dockerhub
diygod/rsshub on Docker Hub chromium-bundled-b879d8d7fbf7702ff0453f2b3cdcc4436fa6ac51 b879d8d7fbf7702ff0453f2b3cdcc4436fa6ac51
quay
stackrox-io/collector on Quay 4.12.x-nightly-20260803
quay
stackrox-io/scanner on Quay 4.12.x-nightly-20260803
github
stackrox/stackrox on GitHub 4.12.x-nightly-20260803
github
pytorch/pytorch on GitHub trunk/f9e955c277583155f6acab0a4561dc33612d6c01
github
nukeop/nuclear on GitHub player@1.45.0
github
pytorch/pytorch on GitHub ciflow/trunk/191882 ciflow/inductor/191882 ciflow/trunk/191853 ciflow/inductor/191853

Don't miss a new release

NewReleases is sending notifications on new releases.