Containerized Development Environment Manager for embedded development
- containerization
- containers
- devops
- edge
58,136 visible repositories in the index
97–120 of 123 · Most stars
Containerized Development Environment Manager for embedded development
A modern, lightning-fast file sharing platform built for self-hosting. Created with support for ShareX, KDE Spectacle, Flameshot, and easy to set up.
Google Pub/Sub client for Elixir
Go Hosting Solution for AWS, Google Cloud and Digital Ocean
An application platform for your personal web services. https://dropserver.org
Less verbose, more shell-friendly and LLM-friendly Terraform
An open source alternative to terraform enterprise.
Docker Compose setup to self-host Swetrix CE - a privacy-focused, cookieless web analytics platform
🚀 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.
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.
A simple, cross-platform, and continuously integrated C++14 project template
GitHub Action for building and testing Swift packages across all platforms.
Automatically import infrastructure to tfstate
Access GoogleCloud APIs using Vapor
Old Coq plugin for parametricity [maintainer=@ppedrot]
Lightweight, self hosted platform for building webhooks, scheduled tasks and pages. Implement your logic with Bash, Lua or mRuby
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.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
TranslatedA real-time chat platform built with PocketBase and Vue3.
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
A Rust-based wrapper for concurrent Terraform apply, enabling multi-deployment support.
Utilities for running Common Lisp on CI platforms
Static analysis from configs → Kubernetes NetworkPolicies in seconds
Showcase your Telegram channels, groups, and bots with beautiful, dynamic preview cards. Perfect for GitHub profiles and portfolios. ✨