Repository Index

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

ImGui Binding for FreePascal / Delphi with the latest version & docking

• freepascal
• imgui
• imgui-binding
• opengl3

A docker container to simplify and secure the use of Infrastructure as Code (IaC)

• infrastructure-as-code
• iac
• docker
• docker-image

The mypy playground. Try mypy with your web browser.

• python
• mypy
• docker
• playground

Latte Dock NG is a Wayland-first dock for KDE Plasma 6.5+ that provides an elegant and intuitive experience for your tasks and widgets. It animates its contents using a parabolic zoom effect and stays out of the way when not needed.

Docker Compose setup to self-host Swetrix CE - a privacy-focused, cookieless web analytics platform

Scalable stateless «zero config» service-name ingress for docker swarm mode with a fresh more secure approach

• docker-swarm-mode
• tls
• encryption
• swarm-router

CLI client for Portainer

• bash
• docker
• deployment
• continuous-deployment

Set of the String helpers extracted from DockYard's ember-composable-helpers.

• ember
• ember-addon
• ember-cli
• emberjs

Build tailwind css for yew style applications, using docker-compose, so you don't need to have npm installed

🚀 Production-ready AI-friendly Go REST API boilerplate with Clean Architecture, JWT auth, RBAC, PostgreSQL migrations, and highly tested. AI-optimized with built-in guidelines for most used IDEs. Docker hot-reload, Swagger docs, one-command setup. Build production APIs in minutes, not weeks.

• api
• api-documentation
• authentication
• backend

Web application that manage food recipes with simplicity

• allinone
• django
• docker
• docker-compose

Cron for Docker — a job scheduler that runs commands in containers, on the host, or as swarm services, with a web UI, health endpoints and webhook notifications.

• container
• cron
• docker-container
• scheduler

Scramjet Platform is a distributed runtime supervisor that can run data processing programs called Sequences and manage local resources on any Linux server, Docker on small edge servers, and even large-scale Kubernetes clusters in the cloud or datacenters without exposing network ports to the public internet.

• nodejs
• stream-processing
• transform-as-a-service
• real-time

Simple docker-based continuous integration system

• simpleci
• ci
• continuous-integration
• continuous-deployment

Docker image gathering packers and tools for making datasets of packed executables and training machine learning models for packing detection

• docker-image
• executable-packing
• malware-packers
• research-platform

Gateway to send/receive SMS through MQTT using an USB GSM dongle (gammu)

• mqtt
• gammu
• sms
• docker

Charmander Scheduler Lab - Mesos, Docker, InfluxDB, Spark

drydock provides a flexible way of assessing the security of your Docker daemon configuration and containers using editable audit templates

• docker
• security
• audit

Hide secrets like API keys, passwords and tokens in Neovim while screen sharing or streaming. Masks .env, JSON, YAML, TOML, XML, .http, Terraform/HCL and Dockerfiles with extmarks, without changing the file. Presentation mode, screen shield, picker and terminal masking.

• dotenv
• lua
• neovim
• neovim-plugin

Mimicry is a dynamic deception tool that actively deceives an attacker during exploitation and post-exploitation.

• backdoor
• honeypot
• incident-response
• security

Official Elastic Beanstalk repository for Python docker files.

Distributed load testing made simple

• distributed-load-testing
• jmx
• jmeter
• docker-jmeter

Build a Production-Ready Docker Swarm cluster using Ansible. The goal is rapidly bootstrap a Docker Swarm cluster with some essential services.