Releases around FStarLang/FStar v2026.05.31 on GitHub

FStarLang/FStar on GitHub v2026.05.31

nan11888/nanshare on Docker Hub latest 2.4.3.9.3

UZDoom/UZDoom on GitHub x-preview

AnInsomniacy/motrix-next on GitHub v3.9.3-beta.2

langgenius/dify-api on Docker Hub d8571ce965ab9bdbc2c186fd28bda8e258db4b01

EssentialsX/Essentials on GitHub 2.22.0

doktor83/SRBMiner-Multi on GitHub 3.3.1

RiDDiX/home-assistant-matter-hub on GitHub v2.1.0-alpha.706

sventorben/keycloak-home-idp-discovery on GitHub v26.2.1

langgenius/dify-api on Docker Hub f241ae25bede775d8efcff3acf9ae4abadebd533

Sendspin/aiosendspin on GitHub 6.0.1

akutishevsky/lunchmoney-mcp on GitHub mcpb-2.1.1

openwrt/imagebuilder on Docker Hub realtek-rtl931x_nand realtek-rtl931x_nand-master realtek-rtl931x_nand-SNAPSHOT realtek-rtl931x_nand-main

stackrox-io/main on Quay 4.11.x-1108-g40f46cd4d6

itzg/minecraft-server on Docker Hub java11

stackrox-io/main on Quay 4.11.x-1108-g40f46cd4d6-arm64

Agenta-AI/agenta on GitHub v0.100.8

stackrox-io/main on Quay 4.11.x-1107-g6a20751cf4

itzg/minecraft-server on Docker Hub java16 java25-alpine java17

stackrox-io/main on Quay 4.11.x-1108-g40f46cd4d6-amd64

itzg/minecraft-server on Docker Hub java21 java25-jdk

Caldis/Mos on GitHub 4.2.1

itzg/minecraft-server on Docker Hub latest java25 java21-jdk