hauntsaninja
Maintainer of typeshed and mypy, CPython core dev, author of pyp, contributor to several other projects. Work at OpenAI by day.
@OpenAI
hauntsaninja's Stars
junegunn/fzf
:cherry_blossom: A command-line fuzzy finder
python/cpython
The Python programming language
python/mypy
Optional static typing for Python
geldata/gel
Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.
rui314/chibicc
A small C compiler
imbushuo/mac-precision-touchpad
Windows Precision Touchpad Driver Implementation for Apple MacBook / Magic Trackpad
utterance/utterances
:crystal_ball: A lightweight comments widget built on GitHub issues
python/typeshed
Collection of library stubs for Python, with static types
AliveToolkit/alive2
Automatic verification of LLVM optimizations
mystor/git-revise
A handy tool for doing efficient in-memory commit rebases & fixups
konstin/sudoku-in-python-packaging
Sudoku solving in python packaging
AndreLouisCaron/a-tale-of-event-loops
Notes describing my understanding of how modern Python event loops work
bradfitz/deadbeef
Gimmicky commit hash made using bradfitz/gitbrute
OriRoth/python-typing-machines
Python type hints are Turing complete.