Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Repository Index
47,133 repositories indexed
1,513–1,536 of 1,829 · Most stars
docker file for use with androguard python android app analysis tool
RDoc generator designed with simplicity, beauty and ease of browsing in mind
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
JMeter Docker Image for Distributed Testing on EC2 Container Service (ECS)
- jmeter
- ec2
- docker-image
- ecs
Enable finding all documents that have been published by a given publication
The repository host gives no description.
.NET (C#) Client Library for Docker Registry API V2
A Dockerfile generator for running OpenGL (GLX) applications with nvidia-docker2, CUDA, ROS, and Gazebo on a remote headless server system by using VirtualGL&VNC and Lubuntu Desktop
Fork MQTT traffic from broker A to B like it's potatoes 🥔.
- mqtt
- mqtt-service
- traffic-control
- kubernetes
Drone plugin for trigger Jenkins jobs.
This is the Carbon for IBM.com website, which includes documentation and guidelines around design and development for IBM.com
- carbon-design-system
- ibm
- hacktoberfest
Salvaged websites, articles, contributions, text and docs
MySQL Function for Doctrine : RAND(), ROUND() DATE(), DATE_FORMAT()
- mysql
- mysql-functions
- php
- doctrine
A simple, self-hosted file-sharing web app
Proxy middleware for Deno Oak HTTP servers. 🐿 🦕
- deno
- denoland
- deno-module
- denojs
Terminal UI for managing Docker containers and following their logs during development.
Distributed service playground with Vagrant, Consul, Docker & ASP.NET Core
MatchFlow is a full-stack invoice processing and purchase-order matching system—built on Clean Architecture with a React+Nginx front-end, a .NET 6 API back-end, Azure Form Recognizer OCR, Azure Blob Storage, and Docker Compose for one-command local setup.
- azure
- docker-compose
- dotnet-core
- nginx-proxy
documentation and writing
Use pandoc to convert markdown files according to options from a yaml block
Automatically generates FORtran Documentation from comments within the code.
The repository host gives no description.
Elixir library to convert office documents to other formats using LibreOffice.
- elixir
- convert-office-documents
- libreoffice
- elixir-library