Skip to content
View lmeinen's full-sized avatar
🥦
🥦
3 followers · 5 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2

Block or report lmeinen

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. dotfiles dotfiles Public

    Shell 1

  2. lmeinen.github.io lmeinen.github.io Public

    HTML 1

  3. adem-gobra adem-gobra Public

    Forked from adem-wg/adem-proto

    This repository contains code used to formally verify the verification component of the ADEM prototype using the Gobra program verifier.

    Go

  4. adem-proofs adem-proofs Public

    Forked from adem-wg/adem-proofs

    This repository provides security proofs for ADEM, An Authentic Digital EMblem.

    Python

  5. ggj-2025 ggj-2025 Public

    Global Game Jam 2025

    ShaderLab

  6. advent-of-code advent-of-code Public

    Advent of Code

    Rust