Pinned Repositories
git-remote-gcrypt
git-remote-gcrypt: A git remote helper for GPG-encrypted remotes
gitception
mypy
A Python variant with seamless dynamic and static typing
mypy-py
Mypy implementation translated to Python (for running mypy only)
khukri's Repositories
khukri/git-remote-gcrypt
git-remote-gcrypt: A git remote helper for GPG-encrypted remotes
khukri/gitception
khukri/mypy
A Python variant with seamless dynamic and static typing
khukri/mypy-py
Mypy implementation translated to Python (for running mypy only)