Filter by
(2)
Deterministic Verification Layer for Claude & Agents (Math, Logic, SQL, Code Tools)
14d
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
1h
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
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
2h
189
Prefect is a workflow orchestration framework for building data pipelines in Python.
3d
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
CLI for OpenAPI Generator (https://openapi-generator.tech)
21m
50M+
72
[DEPRECATED REPOSITORY] A Docker-powered stateless API for PDF files.
6m
10M+
34