Docker

docker-controller-botdgongut/docker-controller-bot

A Telegram bot for managing Docker containers on your server, with monitoring, updates, and multi-language support.

Chrome Protocol Proxywendigo/chrome-protocol-proxy

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

hatsuimportantimport/hatsu

A self-hosted, fully-automated ActivityPub bridge that connects static sites to the Fediverse.

nx.jsTooTallNate/nx.js

A JavaScript runtime for building Nintendo Switch homebrew applications using web-standard APIs.

mqtt-camera-streamerrobmarkcole/mqtt-camera-streamer

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

UAVLogViewerardupilot/uavlogviewer

A JavaScript-based online viewer for UAV telemetry and dataflash logs with 3D visualization.

mahutaConsenSys/Mahuta

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

URL-to-PNGjasonraimondi/url-to-png

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

SecML Malwarepralab/secml_malware

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

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.

GitHub Codeowners Validatormszostok/codeowners-validator

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

mini-docker-rustkpcyrd/mini-docker-rust

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

Pychatakoidan/pychat

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

CoqHammerlukaszcz/coqhammer

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

arborcoryodaniel/arbor

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

OpenSCAPOpenSCAP/container-compliance

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

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.

heimdalldadrus/heimdall

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

CloudSlangCloudSlang/cloud-slang

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

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.

workflowluno/workflow

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

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.

Seedtindzk/seed

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

flotillatylertreat/Flotilla

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

Coq Platformcoq/platform

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

docker-logstashpblittle/docker-logstash

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

tapirPacoVK/tapir

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

Lomoragelomorage/homepage

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

ydl_api_ngTotonyus/ydl_api_ng

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

SysPLSysSec/sys

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

validIaCgofireflyio/validiac

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

Valumvalum-framework/valum

A web micro-framework written in Vala, providing powerful routing and middleware for building expressive web services.

Firewardbijoutrouvaille/fireward

A concise language and compiler for writing Firestore security rules with TypeScript interface generation.

darkroomgojek/darkroom

A high-performance, resilient image proxy with pluggable storage backends and image processing engines.

assuremapingtoolshatem-darweesh/assuremapingtools

A desktop tool for viewing, editing, and saving road network maps for autonomous vehicle platforms like Autoware.