Releases around FStarLang/FStar v2026.07.12 on GitHub

FStarLang/FStar on GitHub v2026.07.12

YimMenu/YimMenuV2 on GitHub nightly

opencti/platform on Docker Hub rolling-ubi9 rolling-fips rolling

ggml-org/llama.cpp on GitHub b9975

RandomEngy/VidCoder on GitHub v12.22

openwrt/imagebuilder on Docker Hub ixp4xx-generic ixp4xx-generic-master ixp4xx-generic-SNAPSHOT ixp4xx-generic-main

refactoringhq/tolaria on GitHub alpha-v2026.7.12-alpha.0010

sei-protocol/sei-chain on GitHub v6.6.0-rc3

ulsklyc/yuvomi on GitHub v1.15.0

Nonary/vibeshine on GitHub 1.18.0

paulgessinger/swift-paperless on GitHub builds/1.11.0/204

eggjs/egg on GitHub v4.1.2-beta.24

gitpython-developers/GitPython on GitHub 3.1.51

pytorch/pytorch on GitHub ciflow/torchtitan/189642 ciflow/inductor/189642

langgenius/dify-api on Docker Hub 594c21d98c9e43dc7b130efe95fdc8335f7c7fde

telepresenceio/telepresence on GitHub rpc/v2.30.0-rc.1

datadog/agent on Docker Hub 7-rc-jmx

openwrt/imagebuilder on Docker Hub zynq-generic zynq-generic-master zynq-generic-SNAPSHOT zynq-generic-main

orval-labs/orval on GitHub v8.21.0

orval on Node.js NPM 8.21.0

datadog/agent on Docker Hub 7-rc

homebridge/homebridge-config-ui-x on GitHub v5.24.1-beta.14

homebridge-config-ui-x on Node.js NPM 5.24.1-beta.14