Verified hash-based AMQ structures in Coq
-
Updated
Apr 13, 2020 - Coq
Verified hash-based AMQ structures in Coq
Prefix Filter: Practically and Theoretically Better Than Bloom.
IoT Transportation demo using Red Hat OpenShift and Middleware technologies
Bumped Ribbon Retrieval and Approximate Membership Query
This repository contains a set of examples to be used with Red Hat AMQ messaging suite components.
Securing APIs with OpenID Connect using 3scale API Management and Red Hat Single Sign On
A collection to manage AMQ brokers
Sync your viewing status from Annict to MAL / AniList.
AMQ Broker Operator Helm Enhancement
Red Hat JBoss AMQ 7 High Availability Replicated Demo (Shared Nothing)
Red Hat Integration: AMQ Broker Workshop
Moosesoft.Azure.Servicebus is a .Net Standard 2.0 library that extends the functionality of Microsoft.Azure.Service.
Compact cache-friendly filter, for small number of elements.
AMQ Streams Demo (Kafka on Openshift)
Microservice extracting content from webpages and creating ebooks from it
Using Fuse, AMQ6/7 and Prometheus on Openshift
Set of samples for AMQ online (Enmasse)
This project allows, automatically and quickly through a Bash script, to run locally two Quarkus applications and an AMQ Broker interacting with each other via the AMQP 1.0 protocol using the SmallRye Reactive Messaging dependency.
Microservice acting as public REST API for triggering the NovelWorker and fetching finished novels
Add a description, image, and links to the amq topic page so that developers can more easily learn about it.
To associate your repository with the amq topic, visit your repo's landing page and select "manage topics."