Filter by
(1)
Docker image for the EDITO demonstration container (Autosubmit, API, and GUI in a single container)
1y
2.0K
Prebuild Score toolchain for supported Score systems.
5m
1.8K
Android NDK Docker container including CMake based on catthehacker/ubuntu.
2m
1.8K
Deterministic Verification Layer for Claude & Agents (Math, Logic, SQL, Code Tools)
15d
1.4K
PX4 SITL with ROS 2 Jazzy, Gazebo Harmonic, XRCE-DDS Agent, and the PX4 ROS 2 Interface Library
25d
1.3K
Simulation software for phase transitions in the early universe
5h
1.1K
Minimal Ubuntu SystemCore cross-compiler image for WPILib CI
4m
1.0K
PX4 SITL with ROS 2 Jazzy, SIH, Micro XRCE-DDS Agent, and the PX4 ROS 2 Interface Library.
25d
869
One small core, three lenses, readable, embeddable, multi-model database written in TypeScript
3m
770
2
Minimal Ubuntu base image for WPILib CI cross-compiler images
4m
745
Learning experience for exploring the CNCF Sandbox project score.dev and its features
3d
344
QEMU build for running macOS guests with hardware-accelerated graphics
8d
334
1
AI-powered Docker security scanner, explains vulnerabilities in plain English and suggests fixes.
14d
251
1
A tool for exploring the gravitational wave power spectrum of first-order phase transitions
5h
189
Prefect is a workflow orchestration framework for building data pipelines in Python.
4d
100M+
56
Latest XMRig on Alpine for local monero mining or cloud mining in AWS or Azure.
2y
100M+
12
OpenResty Official Docker Images - a dynamic web platform based on NGINX and LuaJIT
25d
50M+
486