軟體庫 -

Amarok

2026/05/20

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

Amadine

2026/05/20

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

alvaroparker/libfprint-rs

17 6 2026/05/20

#### 產品特色 * 支援 libfprint-2 開發的圖像識別與印記功能 * 提供 Rust 語言的封裝與封裝後的使用方式 * 支持設備列表與設備開啟操作 * 提供同步與異步的印記與識別功能 * 支援 MIT 訸許證授權 #### 主要功能、特點本庫提供對 libfprint-2 的封裝，支援圖像識別與印記功能。使用者可透過創建 FpContext 來操作設備，並執行印記與識別動作。支援同...

alternativeTo

2026/05/20

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

How to Use Github

0 0 2026/05/21

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

Alt-Ergo

143 36 2026/05/20

#### 產品特色 * 支援多項理論的滿足問題（SMT）求解 * 強大的程式驗證能力 * 跨領域應用，如硬體設計與軟體驗證 * 基於OCaml語言開發，易於整合與擴展 * 開放源碼，可自由使用與修改 #### 主要功能、特點 Alt-Ergo 是一個開放源碼的數學公式自動求解工具，專門用於程式驗證。它基於 Satisfiability Modulo Theories（SMT）框架，能自動處理複雜的...

alrevuelta/rs-merkle-tree

225 10 2026/05/20

#### 產品特色 * 固定深度：所有證明具有恆定大小，與深度直接相關 * 追加寫入：葉子以索引0開始順序添加，無法修改已添加的葉子 * 優化證明獲取：中間葉子儲存，證明可直接從記憶體獲取，無需延後計算 * 可配置儲存後端：支持sled、rocksdb、sqlite等儲存方案 * 可配置哈希函數：支持keccak256、Poseidon等哈希算法 #### 主要功能、特點提供Merkle樹實現，...

Alpine

0 0 2026/05/20

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

alphaville/optimization-engine

631 68 2026/05/20

#### 產品特色 * 快速非凸參數優化 * 用 Rust 編寫的數值算法 * 可證明安全的記憶管理 * 自動生成 ROS 包 * 適用於非線性模型預測控制與移動視窗估計 #### 主要功能、特點 OpEn 可直接透過 Python 和 Rust 進行優化問題的設定與求解，支持非凸參數優化問題。它提供自動生成 ROS 包的功能，使開發者可以專注於應用的挑戰，而不必處理複雜的優化問題。OpEn 支持...

AlmaLinux

2026/05/20

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

AllTop

2026/05/20

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

AlKass/polish

59 7 2026/05/20

#### 產品特色 * 支持單元測試與整合測試 * 提供測試案例的自動執行與結果報告 * 支援嵌入式測試案例與物件測試 * 具備多種日誌輸出功能 * 可自定義測試行為與執行策略 #### 主要功能、特點 Polish 是一個基於 Rust 的測試驅動開發工具，提供簡潔的 API 來撰寫和執行測試案例。使用者可以輕鬆撰寫測試案例，並自動執行並報告結果。工具支援多種測試類型，包括單元測試、整合測試、嵌...