GitHub - facebook/pyrefly: A fast type checker and language server for PythonYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Rustで書かれた高速Python型チェッカー「Pyrefly」の紹介 | gihyo.jp
筒井（@ryu22e）です。今月の「Python Monthly Topics」は、型チェッカー「Pyrefly」を紹介します。 Pyreflyの概要と特徴 PyreflyはMeta社が開発した型チェッカーです。ロゴがホタル（firefly）をイメージしたデザインで、「パイアフライ」と発音します[1]。 Pythonの型チェッカーといえばMypy、Pyrightなどの既存ツールがありますが、Pyreflyにはそれらにはない以下の特徴があります。 Rustで実装されているため、高速に動作 WASM版もあるため、ブラウザ上で利用可能 コードに自動で型ヒントを付ける機能 Meta社製の型チェッカーといえばPyreがありますが、PyreflyはPyreの後継ツールです。Pyreflyが誕生した経緯については、以下のMeta社のブログに詳細が書かれています。 Introducing Pyrefly
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly
GitHub - bellingcat/telegram-phone-number-checker: Check if phone numbers are connected to Telegram accounts.
GitHub - hogehuga/redirectChk: redirect URL checker
GitHub - gattjoe/OCSPChecker: OCSPChecker provides an automated means to check the OCSP revocation status for a x509 digital certificate.
GitHub - ninoseki/aiodnsbl: Async DNSBL lists checker
GitHub - Matty9191/dns-domain-expiration-checker: Send notifications when DNS domains are about to expire.
Credential Checker
GitHub - dahani9091/domains-quality-checker: API for checking domains and IP addresses safety
GitHub - unstabl3/recce: Domain availbility checker
GitHub - Echocipher/Subdomain-Takeover: 一个子域名接管检测工具
GitHub - Zeyad-Azima/Live-Domain: Fast and simple live domain checker written in python
GitHub - josemanimala/ipvoid-blacklist-checker: Ipvoid scraper and blacklist checker
