-
VerneMQ
- Basel, Switzerland
Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Batchfile
- BitBake
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cython
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Gherkin
- Gleam
- Gnuplot
- Go
- HTML
- Haskell
- Idris
- Inno Setup
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- LFE
- Lean
- Lua
- Makefile
- Mako
- Markdown
- Modelica
- Mustache
- Nix
- OCaml
- Oz
- PDDL
- PHP
- Perl
- Pony
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- V
- Vue
- Zig
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
Easily and securely send things from one computer to another 🐊 📦
Podman: A tool for managing OCI containers and pods.
OpenTofu lets you declaratively manage your cloud infrastructure.
Dapr is a portable runtime for building distributed applications across cloud and edge, combining event-driven architecture with workflow orchestration.
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more
An authorization library that supports access control models like ACL, RBAC, ABAC in Golang: https://discord.gg/S5UjpzGZjN
The lightweight, user-friendly, fault-tolerant database built on SQLite.
Nomad is an easy-to-use, flexible, and performant workload orchestrator that can deploy a mix of microservice, batch, containerized, and non-containerized applications. Nomad is easy to operate and…
Packer is a tool for creating identical machine images for multiple platforms from a single source configuration.
ZITADEL - Identity infrastructure, simplified for you.
⏰ 🔥 A TCP proxy to simulate network and system conditions for chaos and resiliency testing
Open Policy Agent (OPA) is an open source, general-purpose policy engine.
Backup and migrate Kubernetes applications and their persistent volumes
Open Source Metering and Usage Based Billing API ⭐️ Consumption tracking, Subscription management, Pricing iterations, Payment orchestration & Revenue analytics
Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data
High-Performance Serverless event and data processing platform
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…
Grafana Tempo is a high volume, minimal dependency distributed tracing backend.
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
An SWT based API for managing users and issuing SWT tokens.
Kiali project, observability for the Istio service mesh
Write tests against structured configuration data using the Open Policy Agent Rego query language