3 Repositories
Python gist Libraries
keep your machine's shell history synchronize
SyncShell Yet another tool for laziness Keep your machine's shell history synchronize Get SyncShell Currently, SyncShell is just available on PyPi and
53 Dec 12, 2022
The mypy playground. Try mypy with your web browser.
mypy-playground The mypy playground provides Web UI to run mypy in the sandbox: Features Web UI and sandbox for running mypy eas
57 Jan 2, 2023
Sync any your configuration file to remote. Currently only support gist.
Sync your configuration to remote, such as vimrc. You can use EscSync to manage your configure of editor, shell, etc.
0 Nov 21, 2022