Docker

heimdalldadrus/heimdall

A cloud-native Identity Aware Proxy and Access Control Decision service for authenticating, authorizing, and transforming HTTP requests.

interBTCinterlay/interbtc

A modular and programmable layer for Bitcoin, featuring a collateralized bridge, DeFi hub, and cross-chain compatibility.

Sandia Cyber Omni Tracker (SCOT)sandialabs/scot

A cyber security incident response management system and knowledge base designed to coordinate team efforts and capture team knowledge.

workflowluno/workflow

A type-safe, event-driven workflow orchestration library for building robust, distributed workflows in Go with compile-time safety and horizontal scaling.

ferryjhorey/ferry

Define, run, and deploy big data applications on AWS, OpenStack, and local machines using Docker.

terraform-aws-jenkinscloudposse-archives/terraform-aws-jenkins

Terraform module to deploy a scalable, highly-available Jenkins CI/CD server on AWS using Docker, Elastic Beanstalk, and ECR.

Run GitHub Actions Locally with a web interfacephishy/wflow

An experimental tool that runs GitHub Actions workflows locally using Docker containers.

URL-to-PNGjasonraimondi/url-to-png

A self-hosted URL to PNG generator with parallel rendering via Playwright and configurable storage caching.

Chrome Protocol Proxywendigo/chrome-protocol-proxy

A reverse proxy for Chrome DevTools Protocol that captures, coalesces, and logs commands and events for debugging.

Four Color Theoremcoq-community/fourcolor

A formal proof of the Four Color Theorem in Coq, including supporting theories for real numbers, plane topology, and combinatorial hypermaps.

SecML Malwarepralab/secml_malware

A Python library for creating adversarial attacks against Windows malware detectors to evaluate their robustness.

mqtt-camera-streamerrobmarkcole/mqtt-camera-streamer

Stream camera frames over MQTT for low-FPS IoT viewing, recording, and image processing pipelines.

PyrsistenceSniperHexastrike/PyrsistenceSniper

A Python tool for offline detection of Windows persistence mechanisms in forensic collections like KAPE dumps or mounted disk images.

cloud-conciergedragondrop-cloud/cloud-concierge

A containerized tool that codifies unmanaged cloud resources as Terraform, detects drift, estimates costs, and scans for security issues via pull requests.

mahutaConsenSys/Mahuta

A library and service for storing, indexing, and searching files and documents on the IPFS network.

GitHub Codeowners Validatormszostok/codeowners-validator

A validation tool for GitHub CODEOWNERS files that checks syntax, file existence, owner validity, and duplication.

DrydockCodesWhat/drydock

An open-source container update monitoring tool with a modern dashboard, supporting 23 registries, 20 notification triggers, and automated updates.

mini-docker-rustkpcyrd/mini-docker-rust

A minimal Rust Docker image example demonstrating how to build extremely small container images.

CoqHammerlukaszcz/coqhammer

An automated reasoning hammer tool for Rocq that combines learning with external provers to automate proofs in dependent type theory.

Pychatakoidan/pychat

An open-source, self-hostable communication tool with messaging, video calls, and screen sharing for company use.

Coq Platformcoq/platform

A dependable, cross-platform distribution of the Rocq proof assistant with a curated selection of libraries and tools.

arborcoryodaniel/arbor

Ecto adjacency list and tree traversal library for Elixir using CTEs and a parent_id field.

CloudSlangCloudSlang/cloud-slang

A YAML-based language and CLI for writing human-readable workflows for the CloudSlang Orchestration Engine.

OpenSCAPOpenSCAP/container-compliance

Tools for vulnerability scanning and compliance auditing of Docker containers and images using OpenSCAP.

PerformanceMonitordotnet-architecture/PerformanceMonitor

A .NET Core tool for real-time performance monitoring of applications, from single processes to microservices, via a web dashboard.

Algorand Sandboxalgorand/sandbox

A Docker-based tool to quickly set up a local Algorand development environment with Algod, Indexer, and Conduit.

GWU: Data Mining (Decision Sciences 6279)jphall663/GWU_data_mining

Course materials for GWU's Data Mining and Machine Learning classes covering preprocessing, modeling, and practical Kaggle applications.

SysPLSysSec/sys

A static and symbolic analysis tool for finding memory safety bugs in browser code and other software.

tapirPacoVK/tapir

A self-hosted private Terraform registry for modules and providers with built-in security scanning and documentation.

ydl_api_ngTotonyus/ydl_api_ng

A REST API wrapper for youtube-dlp that enables remote video downloads and advanced queue management.

Lomoragelomorage/homepage

A private photo cloud for families that automatically backs up photos and videos from devices to your own hard drive.

Seedtindzk/seed

A user-friendly, fast, and flexible build tool for Scala projects using TOML configuration and Bloop for compilation.

LiteFarmLiteFarmOrg/LiteFarm

A community-led digital platform for farmers and scientists to assess and improve the sustainability of farming systems.

flotillatylertreat/Flotilla

Automated orchestration tool for benchmarking message queues in scaled-up, distributed configurations.

validIaCgofireflyio/validiac

An open-source tool that combines tflint, tfsec, infracost, and inframap to validate Terraform Infrastructure-as-Code.

docker-logstashpblittle/docker-logstash

Docker image for Logstash 1.4.5 with optional Elasticsearch 1.7.0 and Kibana 3.1.2 integration.