#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
https://github.com/aio-libs/aiohttp-mako
#mako template renderer for #aiohttp.web based on aiohttp_jinja2. Library has almost same api and support python 3.5 (PEP492) syntax. It is used in aiohttp_debugtoolbar.
#Mako is a #template library written in Python. It provides a familiar, non-XML syntax which compiles into Python modules for maximum performance. Mako's syntax and #API borrows from the best ideas of many others, including #Django and #Jinja2 templates, #Cheetah, #Myghty, and #Genshi. Conceptually, Mako is an embedded Python (i.e. Python Server Page) language, which refines the familiar ideas of componentized layout and inheritance to produce one of the most straightforward and flexible models available, while also maintaining close ties to Python calling and scoping semantics.
http://www.makotemplates.org/