close
The Wayback Machine - https://web.archive.org/web/20221031112139/https://github.com/kelnage
Skip to content
Avatar
3 followers · 3 following
  • United Kingdom

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report kelnage

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. digital-simplicity Public

    A simple and elegant digital watchface for Garmin devices

    7 2

  2. tamarin-prover Public

    Forked from tamarin-prover/tamarin-prover

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

    Haskell

  3. anr-run-tracker Public

    An Android app for tracking Android: Netrunner games

    Java

  4. ec-grobner-basis-comparison Public

    Scripts to compare various implementations for finding a Grobner basis

    C

8 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Happy Halloween! Learn how we count contributions
Less More

Contribution activity

October 2022

Created 1 commit in 1 repository
Created 1 repository

Created a pull request in grafana/grafana that received 2 comments

Docs: Add Linux section to dev guide

Previously the developer guide only included instructions for installing Grafana from source on Mac and Windows (via WSL). What this PR does / why …

+12 −0 • 2 comments
Opened 1 other pull request in 1 repository
SigmaHQ/pySigma 1 merged

Created an issue in SigmaHQ/cookiecutter-pySigma-backend that received 2 comments

finalize_output_{{format}} return type confusing

When generating backend code using the cookiecutter, the finalize_query_{{format}} and finalize_output_{{format}} functions are created with a retu…

2 comments
Opened 3 other issues in 3 repositories

Seeing something unexpected? Take a look at the GitHub profile guide.