Pinned Loading

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

   pySigma backend for generating Grafana Loki/LogQL rules

   Python 35 1

2. digital-simplicity digital-simplicity Public

   A simple and elegant digital watchface for Garmin devices

   8 2

3. tamarin-prover tamarin-prover Public

   Forked from tamarin-prover/tamarin-prover

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

   Haskell

4. ec-grobner-basis-comparison ec-grobner-basis-comparison Public

   Scripts to compare various implementations for finding a Grobner basis

   C