Pinned Repositories
call-schedule
check-type
Generate dynamic type-checking functions for TypeScript types
dotfiles2-work
graphite
Open source watchface for the Pebble Time and Pebble Time Steel
minimalin
:watch: Minimalistic watchface for Pebble
obsidian
A usable and elegant analog watchface for the Pebble Time
smartless
A pager similar to less, but smarter
x86_64-instruction-count
How many x86_64 instructions are there anyway?
zsh-llm-suggestions
Get ChatGPT/GitHub Copilot suggestions in your zsh prompt
stefanheule's Repositories
stefanheule/obsidian
A usable and elegant analog watchface for the Pebble Time
stefanheule/smartless
A pager similar to less, but smarter
stefanheule/x86_64-instruction-count
How many x86_64 instructions are there anyway?
stefanheule/zsh-llm-suggestions
Get ChatGPT/GitHub Copilot suggestions in your zsh prompt
stefanheule/graphite
Open source watchface for the Pebble Time and Pebble Time Steel
stefanheule/check-type
Generate dynamic type-checking functions for TypeScript types
stefanheule/minimalin
:watch: Minimalistic watchface for Pebble
stefanheule/call-schedule
stefanheule/dotfiles2-work
stefanheule/gpxplot
Visualize elevation or velocity profile of GPS track
stefanheule/ionic-audio
An audio player for Ionic 3 and Angular 4. Works with HTML 5 audio or native audio using Cordova Media plugin.
stefanheule/latex-doc
Small starter repository for LaTeX documents.
stefanheule/p4-spec
stefanheule/p4c
P4_16 prototype compiler
stefanheule/p4runtime
Specification documents for the P4Runtime control-plane API
stefanheule/pebble-fctx-compiler
stefanheule/PebbleNotificationCenter-Watchapp
Watch app of Notification Center for Pebble
stefanheule/putil
Python Utility Package
stefanheule/stoke
STOKE: A stochastic superoptimizer and program synthesizer
stefanheule/userscripts