Docker

Hanoithery/hanoi

A formal Coq development of the Tower of Hanoi problem with generalized frameworks and proofs.

rippled Docker container (validator)WietseWind/docker-rippled-validator

Run a Ripple XRP (rippled) validator in a Docker container with automatic config and keypair generation.

Hearthjembi/hearth

A fast FHIR-compliant server focused on longitudinal health data storage.

ALEAcoq-community/alea

A Coq library for formal verification of randomized algorithms using a monadic probability distribution interpretation.

Run ergebnis/composer-normalize to ensure your PHP project has a normalized composer.jsonergebnis/composer-normalize-action

A GitHub Action that runs ergebnis/composer-normalize to normalize composer.json files in CI/CD workflows.

xk6-output-elasticsearchelastic/xk6-output-elasticsearch

A k6 extension for exporting load test metrics to Elasticsearch 8.x for analysis and visualization.

PocketBase on Dokkublockshiftnetwork/dokku-pocketbase

Deploy PocketBase, an open-source backend for SaaS and mobile apps, on Dokku as a self-hosted Heroku alternative.

construilstephen/construi

Define and manage build environments using Docker containers for consistent and reproducible builds.

Stable sort algorithms in Coqpi8027/stablesort

A Rocq library providing stable mergesort algorithms with formal correctness proofs using relational parametricity.

Hugegraph/Hugegraphhugegraph/hugegraph

A fast, highly-scalable graph database supporting over 10 billion vertices and edges with OLTP capabilities and dual Gremlin/Cypher query language support.

QPdfSharpsvengeance/QPdfSharp

A C# wrapper for the QPDF library enabling PDF manipulation, optimization, and transformation with cross-platform support.

movie-boxLuisAlejandro/movie-box

Update a GitHub Gist with your recently watched movies and shows from Trakt.tv.

Coqobancoq-community/coqoban

A Coq implementation of Sokoban, the Japanese warehouse keeper puzzle game.

phalcon-docker-nginxviebig/phalcon-docker-nginx

A Docker-based starter application for Phalcon 3 with PHP7 and Nginx, providing a ready-to-run development environment.

SERT VisionSouthEugeneRoboticsTeam/vision

Computer vision software for FRC robots to detect targets and communicate with roboRIO via NetworkTables.

Schematics to add Prisma support to a NestJS applicationmarcjulian/nestjs-prisma

A library and schematics to seamlessly integrate Prisma ORM into NestJS applications.

voicetestvoicetestdev/voicetest

A test harness for voice agents that imports from platforms like Retell and VAPI, runs autonomous simulations, and evaluates with LLM judges.

l7-devenvlegobeat/l7-devenv

A secure, containerized Neovim IDE for local JavaScript development, optimized for MetaMask repository contributions.

max-breast-cancer-mitosis-detectorIBM/MAX-Breast-Cancer-Mitosis-Detector

A deep learning model that detects mitosis in breast cancer tumor cell images to assist in tumor proliferation scoring.

Skeleton Vue+TypeScriptSierraSoftworks/vue-template

An ultra-lightweight Vue.js web application template with TypeScript support and minimal dependencies.

DatabaseBackup pluginmirko-pagliai/cakephp-database-backup

A CakePHP plugin for exporting, importing, and managing database backups for MySQL, PostgreSQL, and SQLite.

gneissComponolit/gneiss

A SPARK library for building portable, verifiable, and high-performance trusted components in component-based systems.

mqtt-unifi-protect-bridgeterafin/mqtt-unifi-protect-bridge

A Docker container that bridges UniFi Protect camera motion status to MQTT for home automation integration.

MystiqueTheThingsIndustries/mystique

An MQTT server implementing the MQTT v3.1.1 specification for lightweight messaging.

Hackerspace3govhackaustralia/hackerspace3

A Ruby on Rails competition management system for the GovHack hackathon, handling participants, sponsors, and volunteers.

max-sports-video-classifierIBM/MAX-Sports-Video-Classifier

A deep learning model that classifies sports videos into 487 different sports activities using a 3D convolutional neural network.

SPM csematext/sematext-agent-java

A Java-based agent for collecting application metrics from JMX, HTTP APIs, and SQL sources, shipping to Influx-compatible endpoints.