#python #dry_python #fp #functional_programming #mypy #python3 #railway_oriented_programming #type_safety

https://github.com/dry-python/returns

#php #security_analysis #static_analysis #taint_analysis #type_inference

https://github.com/vimeo/psalm

#ocaml #abstract_interpretation #code_quality #control_flow_analysis #program_analysis #python #security #static_analysis #taint_analysis #type_check #typechecker

https://github.com/facebook/pyre-check

#python #deployment #faas #fastapi #functions #machine_learning #microservices #pydantic #python_functions #serverless #streamlit #type_hints

https://github.com/ml-tooling/opyrator

#typescript #challenges #type #type_system

https://github.com/type-challenges/type-challenges

#rust #database #type

https://github.com/skyzh/type-exercise-in-rust

#scala #akka #akka_http #declarative #documentation #functional_programming #http #http_client #http_requests #http_server #http4s #observability #openapi #play_framework #sttp #type_safe #zio

https://github.com/softwaremill/tapir

#typescript #runtime_validation #schema_validation #static_types #type_inference

https://github.com/colinhacks/zod

#typescript #ajv #checker #fast #generator #hacktoberfest #json #protobuf #protobuf3 #protocol_buffers #random #runtime #schema #stringify #transform #type #validator

https://github.com/samchon/typia

#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