#rust#code_quality#ide#language#language_server#lsp#python#rust#type_check#type_checker#typecheck#typechecker#types#typing
Pyrefly is a fast tool for checking Python code. It helps catch mistakes before you run your code, making it easier to write reliable programs. Pyrefly can work with both new and old Python projects, even if they don't have type information. It integrates well with editors like VSCode, providing features like auto-completion and code refactoring. This makes coding faster and more efficient, helping you avoid bugs and making your code easier to understand and maintain.
https://github.com/facebook/pyrefly
kitty
The fast, feature-rich, GPU based #terminal emulator
Uses GPU and SIMD vector CPU instructions for best in class
Uses threaded rendering for absolutely minimal latency
Performance tradeoffs can be tuned
Capable Scriptable Composable Cross-platform Innovative
To get started see Quickstart.
https://sw.kovidgoyal.net/kitty/
With software, such as "Kitty", it is possible to read documents, images and other graphical formats with these software:
https://github.com/dsanson/termpdf.py
http://www.kraxel.org/blog/linux/fbida/
https://github.com/itsjunetime/tdf
It means, that we no longer need GTK+ (which dropped support for X11), Qt and other graphical toolkits in order to have a full operational computer.
qrcp, transfer files over wifi from your computer to your mobile device by scanning a QR code without leaving the terminal.
#tools#terminal
@thedevs
https://kutt.it/fycGgm
eDEX-UI, a science fiction terminal emulator designed for large touchscreens that runs on all major OSs.
#tools#terminal
@thedevs
https://kutt.it/IaR1au