Skip to content
View JonasLaux's full-sized avatar
👋
👋
8 followers · 5 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report JonasLaux

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
JonasLaux/README.md

Jonas Laux

Software engineer in Vienna.

Tools for agent-heavy work

  • pruefstand: macOS menu bar queue of the GitHub PRs waiting for your review, built on the gh CLI
  • zu-tun: macOS todo app with a menu bar popover and a widget, backed by a plain todo.md that agents can edit
  • dotfiles: one set of agent instructions, synced to Claude Code and Codex, with drift checks

Side projects

  • batchday: local AI meal planner for Austrian supermarkets, with macros and one shopping list
  • ocean-drive: dark Garmin Forerunner 970 watch face with health stats and your next meeting

Elsewhere

Pinned Loading

  1. zu-tun zu-tun Public

    macOS todo app with menu bar and widget, backed by a plain todo.md file that agents can edit

    Swift 3

  2. batchday batchday Public

    Local AI meal planner for Austrian supermarkets: weekly recipes, macros and one shopping list

    TypeScript

  3. dotfiles dotfiles Public

    Dotfiles and agent instructions synced to Claude Code and Codex, plus a tmux agent setup

    Shell

  4. immo-scraper immo-scraper Public

    Scrapes real-estate listings and posts new matches to a Discord channel

    TypeScript

  5. ocean-drive ocean-drive Public

    A dark, customizable Garmin Forerunner 970 watch face with a stacked clock, health readings and optional Google Calendar meeting titles.

    Monkey C

  6. pruefstand pruefstand Public

    macOS menu bar app that tracks GitHub PRs awaiting your review, built on the gh CLI

    Swift