Skip to content
Avatar
105 followers · 41 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3
BetaSend feedback

Organizations

@offenesdresden @AdaCore @ascii-dresden @fsfw-dresden @Componolit
Block or Report

Block or report jklmnn

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. imagejs Public

    Small tool to package javascript into a valid image file.

    C 862 121

  2. genode Public

    Forked from genodelabs/genode

    Genode OS Framework

    C++ 1

  3. offenesdresden/ParkAPI Public

    🅿️ open API serving parking lot data for multiple cities

    Python 72 44

  4. ParkenDD Public

    Android App for parking spots in Dresden.

    Java 24 14

  5. STOTP Public

    SPARK TOTP library

    Ada 7 1

  6. gnat-llvm-xtensa Public

    Forked from AdaCore/gnat-llvm

    LLVM based GNAT compiler for Xtensa

    Ada 8 1

339 contributions in the last year

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

Contribution activity

August 2022

Created 6 commits in 2 repositories

Created a pull request in Componolit/RecordFlux that received 19 comments

Issue 1115: Optimize sequence comprehension 'Head

Closes #1115

+1,353 −67 • 19 comments
Opened 2 other pull requests in 1 repository
Reviewed 16 pull requests in 4 repositories
Componolit/RecordFlux 13 pull requests
AdaCore/lmod_manager 1 pull request
Componolit/RecordFlux-specifications 1 pull request
Componolit/python-style 1 pull request
Opened 3 issues in 1 repository

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