Pinned Loading

1. grafana/pySigma-backend-loki grafana/pySigma-backend-loki Public

   pySigma backend for generating Grafana Loki/LogQL rules

   Python 50 4

2. grafana/sigma-rule-deployment grafana/sigma-rule-deployment Public

   Automate the conversion and deployment of Sigma Rules to Grafana Alerting via GitHub Actions

   Go 9

3. digital-simplicity digital-simplicity Public

   A simple and elegant digital watchface for Garmin devices

   8 1

4. tamarin-prover tamarin-prover Public

   Forked from tamarin-prover/tamarin-prover

   A development repository of the Tamarin prover for security protocol verification.

   Haskell