typed-protocols
prometheus
typed-protocols | prometheus | |
---|---|---|
2 | 385 | |
8 | 53,155 | |
- | 1.5% | |
7.3 | 9.9 | |
6 days ago | 3 days ago | |
Haskell | Go | |
- | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
typed-protocols
-
On Implementation of Distributed Protocols
Certain correctness properties of code can be ensured statically, i.e. at compile time. Those checks rely on the programming language's type system. Software engineers can take advantage of type safety features to implement components in a way that makes them safe by construction. For example, Cardano uses the typed-protocols package, a generic framework for implementing application-level protocols, which is based on a simple form of session typing.6 Within this framework, protocols are described as state machines encoded into Haskell types. The allowed transitions between states correspond to messages exchanged between the peers, so the protocol state determines which messages are allowed to be sent or must be accepted when received, at type level. This simplifies protocol implementation, allows early detection of protocol violations, and makes the protocols themselves deadlock-free by construction. More advanced type-level programming techniques may allow achieving impressive levels of type safety; however, such code may be significantly harder to implement, understand, and maintain.
-
RPC lib?
I like to use typed-protocols for this: https://github.com/input-output-hk/typed-protocols/
prometheus
- Prometheus: Open-Source Monitoring Solution
-
Release Radar ยท April 2024 Edition: Major updates from the open source community
It's like Prometheus, but for logs. Okay it's not really to do with the Norse or Greek gods, instead Loki is a horizontally-scalable, highly-available, multi-tenant log aggregation system inspired by the open source project Prometheus. Built by Grafana Labs, Loki is designed for ease of use. Instead of indexing the contents of the logs, Loki provides a set of labels for each log stream. The latest update includes query acceleration with Bloom filters, native OTel support, Helm charts, and more. Check out the changelog for all the major changes and deprecations.
-
Fivefold Slower Compared to Go? Optimizing Rust's Protobuf Decoding Performance
WriteRequest::timeseries is a vector (https://github.com/prometheus/prometheus/blob/main/prompb/re...) and
-
Tools for frontend monitoring with Prometheus
Developers widely use Prometheus as a system for operational monitoring and alerting for their projects. Here is a list of tools for monitoring frontend services with Prometheus.
-
The power of the CLI with Golang and Cobra CLI
Just to give an example of the power of Go for CLI builds, you may have already used or at least heard of Docker, Kubernetes, Prometheus, Terraform, but what do they all have in common? They all have a large part of their usability via CLI and are developed in Go ๐ฟ.
-
On Implementation of Distributed Protocols
Distributed system administrators need mechanisms and tools for monitoring individual nodes in order to analyze the system and promptly detect anomalies. Developers also need effective mechanisms for analyzing, diagnosing issues, and identifying bugs in protocol implementations. Logging, tracing, and collecting metrics are common observability techniques to allow monitoring and obtaining diagnostic information from the system; most of the explored code bases use these techniques. OpenTelemetry and Prometheus are popular open-source monitoring solutions, which are used in many of the explored code bases.
-
Golang: out-of-box backpressure handling with gRPC, proven by a Grafana dashboard
Setting up monitoring for a system, especially one involving GRPC communication, provides crucial visibility into its operations. In this guide, we walked through the steps to instrument both a GRPC server and client with Prometheus metrics, exposed those metrics via an HTTP endpoint, and visualized them using Grafana. The Docker-Compose setup simplified the deployment of both Prometheus and Grafana, ensuring a streamlined process.
-
Monitoring, Observability, and Telemetry Explained
Alerting and Notification: Select a tool with flexible alerting mechanisms to proactively detect anomalies or deviations from defined thresholds. Consider asking questions like "Does this tool offer customizable alerting options and support notification channels that suit our team's communication preferences?" A tool like Prometheus provides robust alerting capabilities.
-
Observability at KubeCon + CloudNativeCon Europe 2024 in Paris
Prometheus
-
Top 5 Docker Container Monitoring Tools in 2024
Prometheus is an open-source monitoring and alerting toolkit. It is designed to monitor highly dynamic containerized systems, making it an excellent choice for monitoring Docker containers and Kubernetes clusters.
What are some alternatives?
nng-haskell - Haskell bindings for NNG (https://github.com/nanomsg/nng)
metrics-server - Scalable and efficient source of container resource metrics for Kubernetes built-in autoscaling pipelines.
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]
skywalking - APM, Application Performance Monitoring System
Jolokia - JMX on Capsaicin
Telegraf - Agent for collecting, processing, aggregating, and writing metrics, logs, and other arbitrary data.
JavaMelody - JavaMelody : monitoring of JavaEE applications
Glowroot - Easy to use, very low overhead, Java APM
VictoriaMetrics - VictoriaMetrics: fast, cost-effective monitoring solution and time series database
signoz - SigNoz is an open-source observability platform native to OpenTelemetry with logs, traces and metrics in a single application. An open-source alternative to DataDog, NewRelic, etc. ๐ฅ ๐ฅ. ๐ Open source Application Performance Monitoring (APM) & Observability tool
jaeger - CNCF Jaeger, a Distributed Tracing Platform
Performance Co-Pilot - Performance Co-Pilot