Skip to content
View stefanheule's full-sized avatar

Organizations

@scslab @securitylab @Samsung @StanfordPL @typetools

Block or report stefanheule

Report abuse

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

Report abuse

Pinned Loading

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

    Get ChatGPT/GitHub Copilot suggestions in your zsh prompt

    Shell 60 16

  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 11 4

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

    How many x86_64 instructions are there anyway?

    C++ 23 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 35 8