pyrefly
Python 的快速型別檢查器和語言伺服器。理解現實世界的Python。對 Pydantic、Django 和 pytest 等框架和工具的內建支持,具有開箱即用的模型驗證、欄位類型、夾具導航和自動完成功能。
HYSEN LABS 專案目錄
部署方式 標籤 · 精選儲存庫與深度解析。
Python 的快速型別檢查器和語言伺服器。理解現實世界的Python。對 Pydantic、Django 和 pytest 等框架和工具的內建支持,具有開箱即用的模型驗證、欄位類型、夾具導航和自動完成功能。
Acode 是一款適合 Android 的行動裝置程式碼編輯器,具有檔案系統工作區、Markdown 支援、Git 整合和可擴充的插件工作流程。
此專案圍繞「nicotsx/zerobyte」建置,面向真實業務場景,提供可重複使用、可持續維運的開源實作。
具有動態工作流程的 TypeScript AI 代理程式編排框架。描述目標,而不是圖表:協調員在運行時規劃任務 DAG,並在任何 LLM(Claude、ChatGPT、Gemini、DeepSeek 或本地模型)上運行它。
用於代理編碼 CLI 的長期記憶解決方案,並促進不同代理商供應商之間的切換。
此專案圍繞「Point at any URL/YouTube/Podcast or file. Get the gist. CLI and Chrome Extension.」建置,聚焦實際場景的開源實作,提供可重用的工具鏈與整合方式。
經濟實惠的多功能 Nano RISC-V IP-KVM。它可以讓您遠端存取和控制計算機,就像您坐在計算機前面一樣,這對於伺服器、嵌入式系統和其他無頭機器很有用。
樂觀就是以太坊,規模化。 Optimism 是一個致力於擴展以太坊技術並擴展其協調世界各地人們建立有效的去中心化經濟和治理系統的能力的項目。
LiteRT-LM 是 Google 的生產就緒、高效能、開源推理框架,用於在邊緣設備上部署大型語言模型。
PC 遊戲存檔的備份工具。適用於 Linux 的遊戲備份多功能工具(自 v1.4.0.0 起):僅支援 Linux 和 Steam。
全端 AI 紅隊平台透過 OpenClaw 安全掃描、代理掃描、技能掃描、MCP 掃描、AI 基礎設施掃描和 LLM 越獄評估來保護 AI 生態系統。
Pok mon 戰鬥模擬器。 [sim/SIM-PROTOCOL.md][5] - 用於戰鬥和戰鬥訊息的協定部分。
Pure-Rust WebGPU 推理引擎,相容於 OpenAI-API,原生 GGUF,可在任何 GPU 上運作。沒有Python。沒有 llama.cpp。單一二進制。
AI Native SDLC 的上下文圖。 Potpie 將您的程式碼庫和軟體開發生命週期轉變為 AI 代理程式的動態上下文圖。
AI浮水印去除器。 CLI 和 Python 函式庫可從影像中移除可見和不可見的 AI 浮水印(Gemini / Nano Banana Sparkle、SynthID)和來源元資料(C2PA、EXIF、IPTC)。
通用 HTTP 反向代理和轉送工具。現在用 Go 寫!
GitHub 託管 GitHub GitHub 。 GitHub 託管 GitHub GitHub 託管 託管 GitHub :: Github 頁面:GitHub FastDev 託管 GitHub Gitlab 1。
此專案圍繞「Git notifications on your menu bar. Available on macOS, Windows & Linux.」建置,聚焦實際場景的開源實作,提供可重用的工具鏈與整合方式。
終端的資料庫工具。理論上,mysql驅動程式應該能夠對支援mysql協定的資料庫做同樣的事情。
跨平台AirDrop。透過 ad hoc WiFi 在 Android、iOS、Linux、macOS 和 Windows 之間傳輸檔案。無需網路基礎設施,只需兩台近距離配備 WiFi 晶片(以及可選的藍牙)的設備即可。