Sign in

Repository Index

47,133 repositories indexed

Tags: Cloud and DevOps
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

481–504 of 622 · Most stars

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.

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

AWSDoor is a red team automation tool designed to simulate advanced attacker behavior in AWS environments

FairPlayCombined is a platform designed to accelerate app development using .NET, Blazor, and more. It includes real-world templates like video sharing and dating apps, reducing costs and time-to-market. Perfect for developers, startups, and businesses, it empowers innovation and delivers value with pre-built tools and resources.

  • aspire
  • blazor
  • csharp
  • dotnet

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

Dynamically configure applications that require static configuration in docker container.

Highly efficient compile-time general purpose DI container based on C# source generators.

  • ioc
  • di-container
  • sourcegenerator
  • di-framework