所有收錄專案

用於 C、Rust 與 Java 程式模組化形式驗證的研究原型工具

針對 Windows Registry API 的便利高階 C++ 封裝。

An artware browser add-on to protect privacy in web-search. By issuing randomized queries to common search-engines, TrackMeNot obfuscates your search profile(s) and registers your discontent with surreptitious tracking.

一個簡單的 Scala 測試框架。

雲端原生金融強化學習。

CircuitNet：用於電子設計自動化 (EDA) 機器學習應用的開源資料集。

此儲存庫包含一些已解出的 Python HackerRank 程式碼。

Irssi 的腳本儲存庫。

如何在前端（Javascript/Typescript）實作六角架構（Hexagonal architecture）。

大規模天文數據多模態數據集

將多個後端的設定以級聯方式載入至結構體中。

Browser Operator - The AI browser with built in Multi-Agent platform! Open source alternative to ChatGPT Atlas, Perplexity Comet, Dia and Microsoft CoPilot Edge Browser

[ECCV 2022 Oral] 用於 3D 車道偵測的透視變換器（Perspective Transformer）。

[CVPR 2025] DFormerv2：用於 RGBD 語意分割的幾何自我注意力機制 & [ICLR 2024] DFormer & [NeuriPS 2025] OmniSegmentor

適用於 Matrix 的 Node.js IRC 橋接器。

Mink 框架的 Selenium2 (webdriver) 驅動程式。

用於將 PDF 轉換為圖片與 base64 格式的工具。

現代化跨平台 Plex 客戶端

MetalANGLE：OpenGL ES 轉 Metal API 的轉譯層。

瀏覽器中的「通用」IPTV 與伺服器上的「高效」轉碼

🔥 基於堆疊採樣，以函式火焰圖形式展示 Android Main Looper 的慢訊息處理過程，以定位阻塞原因

[ECCV 2026] 邁向可擴展的生成式視覺標記器預訓練

「HTS-AT: A Hierarchical Token-Semantic Audio Transformer for Sound Classification and Detection」的官方程式碼儲存庫。

法語指令遵循與聊天模型

適用於 Arduino IDE 的 JeeLib：來自 JeeLabs 的 Ports、RF12 與 RF69 驅動程式。

用於實現便捷且高效動態多型 (dynamic polymorphism) 的 C++17 函式庫。

The Official WiFi Pineapple Pager Payload Repository

中國科學院資訊工程研究所考研、保研與考博文件資料。