#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

#rust #code_analyzer #code_style #coding_standards #formatter #lexer #linter #parser #php #static_analysis #type_checker

Mago is a very fast tool for PHP that checks your code for errors, fixes many problems automatically, and formats it neatly. It is built using Rust, which makes it much faster and more reliable than many other PHP tools. Mago helps you find bugs, improve code quality, and keep your code clean and consistent with less effort. It also offers deep analysis to catch tricky issues and lets you see your code’s structure visually. This means you can write better PHP code faster and with more confidence. Installation is easy on macOS and Linux using a simple script or other methods like Homebrew or Composer.

https://github.com/carthage-software/mago