pyrefly
Python 的快速型別檢查器和語言伺服器。理解現實世界的Python。對 Pydantic、Django 和 pytest 等框架和工具的內建支持,具有開箱即用的模型驗證、欄位類型、夾具導航和自動完成功能。
HYSEN LABS 專案目錄
用途 標籤 · 精選儲存庫與深度解析。
Python 的快速型別檢查器和語言伺服器。理解現實世界的Python。對 Pydantic、Django 和 pytest 等框架和工具的內建支持,具有開箱即用的模型驗證、欄位類型、夾具導航和自動完成功能。
此專案圍繞「JavaScript YAML parser and dumper. Very fast. Supports both the 1.2 and 1.1 specs, and passes the entire YAML Test Suite.」建置,聚焦實際場景的開源實作,提供可重用的工具鏈與整合方式。
PDF。國中小學智慧教育平台電子教材下載工具可協助您從智慧教育平台取得電子教材的PDF文件網址並下載,讓您更方便取得教材內容。
經濟實惠的多功能 Nano RISC-V IP-KVM。它可以讓您遠端存取和控制計算機,就像您坐在計算機前面一樣,這對於伺服器、嵌入式系統和其他無頭機器很有用。
樂觀就是以太坊,規模化。 Optimism 是一個致力於擴展以太坊技術並擴展其協調世界各地人們建立有效的去中心化經濟和治理系統的能力的項目。
大數據的更新插入、刪除和增量處理。 Apache Hudi Apache Hudi 是一個開放資料 Lakehouse 平台,基於高效能開放表格式構建,可跨多個雲端資料環境攝取、索引、儲存、服務、轉換和管理資料。
此專案圍繞「Pony is an open-source, actor-model, capabilities-secure, high performance programming language.」建置,聚焦實際場景的開源實作,提供可重用的工具鏈與整合方式。
uBlock Origin 和 uBlock Origin Lite 的過濾器清單。 uBO 過濾器清單中包含的任何過濾器都必須使用擴充語法。
Pok mon 戰鬥模擬器。 [sim/SIM-PROTOCOL.md][5] - 用於戰鬥和戰鬥訊息的協定部分。
免費開源影片編輯器,基於 MLT 框架和 KDE 框架。
就像 Mac 上的 TextEdit,但專用於 Markdown。 MarkEdit MarkEdit 是一款適用於 macOS 的免費開源 Markdown 編輯器。
所有 RE 引擎遊戲的 Mod 載入器、腳本平台和 VR 支援。
GitHub 託管 GitHub GitHub 。 GitHub 託管 GitHub GitHub 託管 託管 GitHub :: Github 頁面:GitHub FastDev 託管 GitHub Gitlab 1。
使用 Jupyter Notebooks 創建令人愉悅的軟體。文件支援 LaTeX、可搜尋、自動超連結(包括透過 nbdev-index 對許多包的開箱即用支援)將包發佈到 PyPI 和 conda 以及簡化包發布的工具。
此專案圍繞「crimera/piko」建置,面向真實業務場景,提供可重複使用、可持續維運的開源實作。
Claude Code / Codex / Gemini / OpenCode 的應用程序,隨時隨地進行氛圍編碼。 HAPI 在本地運行官方 Claude Code / Codex / Cursor Agent / Grok Build / OpenCode 會話,並透過 Web / PWA / Telegram Mini 應用程式遠端控制它們。
修復 X/Twitter 和 Bluesky 嵌入!在 Discord、Telegram 等上使用多個圖像、影片、民意調查、翻譯等。
透過 TypeScript 呼叫 MCP,偽裝成簡單的 TypeScript API。或將它們打包為 cli。
此專案圍繞「open-telemetry/opentelemetry-collector-contrib」建置,面向真實業務場景,提供可重複使用、可持續維運的開源實作。
Rime輸入法引擎,核心庫。 RIME:Rime 輸入法引擎 === Rime 與您的按鍵。