Pinned Repositories
pySigma-backend-loki
pySigma backend for generating Grafana Loki/LogQL rules
agent
Vendor-neutral programmable observability pipelines.
alloy
OpenTelemetry Collector distribution with programmable pipelines
anr-run-tracker
An Android app for tracking Android: Netrunner games
code
The currently released SimpleRisk source code.
digital-simplicity
A simple and elegant digital watchface for Garmin devices
ec-grobner-basis-comparison
Scripts to compare various implementations for finding a Grobner basis
sg-play-bro
A Steam Gifts extension for checking how much a member plays their wins
tamarin-prover
A development repository of the Tamarin prover for security protocol verification.
kelnage's Repositories
kelnage/digital-simplicity
A simple and elegant digital watchface for Garmin devices
kelnage/sg-play-bro
A Steam Gifts extension for checking how much a member plays their wins
kelnage/agent
Vendor-neutral programmable observability pipelines.
kelnage/alloy
OpenTelemetry Collector distribution with programmable pipelines
kelnage/anr-run-tracker
An Android app for tracking Android: Netrunner games
kelnage/code
The currently released SimpleRisk source code.
kelnage/dgraph
The high-performance database for modern applications
kelnage/ec-grobner-basis-comparison
Scripts to compare various implementations for finding a Grobner basis
kelnage/ent-contrib
A collection of extensions and tools for ent
kelnage/grafana
The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many more.
kelnage/loki
Like Prometheus, but for logs.
kelnage/models
Models and examples built with TensorFlow
kelnage/proscript-messaging
Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.
kelnage/tamarin-prover
A development repository of the Tamarin prover for security protocol verification.
kelnage/prometheus
The Prometheus monitoring system and time series database.
kelnage/pySigma
Python library to parse and convert Sigma rules into queries (and whatever else you could imagine)
kelnage/pySigma-plugin-directory
Directory of pySigma backends
kelnage/rpi-bt-camera
A Raspberry Pi camera server with Android clients connecting via Bluetooth
kelnage/Scripts
kelnage/scyther
The Scyther Tool for the symbolic analysis of security protocols
kelnage/secure-cloud-storage
A demo of a cloud storage service where the cloud provider cannot access the data being stored
kelnage/sg-comment-sis
A userscript for checking which Steam Gifts users who entered a GA also commented on it.
kelnage/sg-lucky-punk
A SteamGifts userscript for calculating your expected number of wins
kelnage/sigma
Main Sigma Rule Repository
kelnage/sigma-cli
The Sigma command line interface based on pySigma
kelnage/sigma-specification
Sigma rule specification
kelnage/sigmahq.github.io
Official Website Of The Sigma Project
kelnage/TLS13Tamarin
This is a Tamarin model of TLS 1.3