Skip to content
View stefanheule's full-sized avatar
78 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Organizations

@scslab @securitylab @Samsung @StanfordPL @typetools
Block or Report

Block or report stefanheule

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Pinned

  1. zsh-llm-suggestions zsh-llm-suggestions Public

    Get ChatGPT/GitHub Copilot suggestions in your zsh prompt

    Shell 16 3

  2. check-type check-type Public

    Generate dynamic type-checking functions for TypeScript types

    TypeScript 1

  3. graphite graphite Public

    Open source watchface for the Pebble Time and Pebble Time Steel

    HTML 10 2

  4. x86_64-instruction-count x86_64-instruction-count Public

    How many x86_64 instructions are there anyway?

    C++ 22 4

  5. smartless smartless Public

    A pager similar to less, but smarter

    Shell 25 5

  6. obsidian obsidian Public

    A usable and elegant analog watchface for the Pebble Time

    C 28 8