Your self-hosted, globally interconnected microblogging community
Repository Index
47,133 repositories indexed
1–24 of 26 · Most stars
⚙️ NGINX config generator on steroids 💉
UVdesk Open Source Community Helpdesk is a comprehensive ticketing support system designed for everyone, offering robust features to streamline customer support and collaboration.
- ticketing-system
- symfony4
- backbonejs
- opensource
Kubernetes Community Documentation
Litmus helps SREs and developers practice chaos engineering in a Cloud-native way. Chaos experiments are published at the ChaosHub (https://hub.litmuschaos.io). Community notes is at https://hackmd.io/a4Zu_sH4TZGeih-xCimi3Q
- chaos-engineering
- kubernetes
- chaos-experiments
- cloud-native
A simple, stateless NixOS deployment tool [maintainer=@stepbrobd, @NickCao, @zhaofengli]
ARA Records Ansible and makes it easier to understand and troubleshoot.
ansible-playbook + buildah = a sweet container image
- ansible
- buildah
Community plugins for Backstage
- backstage
- cncf
- developer-experience
- developer-portal
A community AWS SDK for Perl Programmers
- perl
- aws
- sdk
- aws-sdk
Containers backed by std.experimental.allocator
- d
- containers
- data-structures
- double-linked-list
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
Community curated list of System and Network policy templates for the KubeArmor and Cilium
- runtime-security
- kubearmor
- cilium
- system-policy
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Access GoogleCloud APIs using Vapor
- vapor-service
- vapor-3
- swift
- google-cloud
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
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
Repository for official Sitecore, community and demo deployment files. This will provide Sitecore customers with examples on how to deploy Sitecore containers using various methods such as compose, k8s and helm.
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Build crystal projects using nix.
- nix
- crystal-lang
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.