verus-lang
★ 3,039verus
低レベルのシステムコードについてはRustを検証しました。 Verus は実行時チェックを追加するのではなく、コードが正しいことを証明するために強力なソルバーに依存します。
HYSEN LABS ディレクトリ
#開発ツール
用途タグ · 厳選リポジトリと詳細分析。
厳選オープンソースプロジェクト 354 件
zerx-lab
★ 3,038FluxDown
FluxDown は、再開可能な転送、キュー管理、ローカル オートメーション制御を備えたメディアのダウンロードおよび処理ユーティリティです。
tox-dev
★ 3,022pipdeptree
インストールされている Python パッケージの依存関係ツリーを表示するコマンド ライン ユーティリティ。
VibiumDev
★ 2,933vibium
VibiumDev/vibiumは実運用向けに使える実用的なオープンソース実装で、再利用可能な導入ルートを持つプロジェクトです。
Taiko2k
★ 2,855Tauon
Taiko2k/Tauonは実運用向けに使える実用的なオープンソース実装で、再利用可能な導入ルートを持つプロジェクトです。
samuelgursky
★ 2,842davinci-resolve-mcp
DaVinci Resolve Studio の MCP サーバー統合。 DaVinci Resolve MCP サーバー blue.svg) 18%20tools-blueviolet.svg) AI アシスタントが公式のスクリプト API を通じて DaVinci Resolve Studio を制御できるようにするモデル コンテキスト プロトコル (MCP) サーバー。
chauncygu
★ 2,831collection-claude-code-source-code
クロード コードのオープン ソースのコレクション。注釈、ドキュメント、ビルド ツールは追加されていません。調査され注釈が付けられたバージョンには claude-code-source-code を使用してください。
openclaw
★ 2,736wacli
WhatsApp CLI: 同期、検索、送信。ソース wacli からビルドするには Go 1.26.5 以降が必要で、go-sqlite3 を使用するため、cgo + C コンパイラが必要です。
FiorenMas/Revanced-And-Revanced-Extended-Non-Rootは実運用向けに使える実用的なオープンソース実装で、再利用可能な導入ルートを持つプロジェクトです。
immich-power-tools
★ 2,695immich-power-tools
immich ライブラリを整理するための強力なツール。 Immich Power Tools immich アカウントを整理および管理するためのより優れたツールを提供する非公式 immich クライアント。
コミュニティ管理ドメインのリスト。ドメイン リスト コミュニティに移動 このプロジェクトは、プロジェクト V でルーティング目的のジオサイトとして使用されるドメインのリストを管理します。
open-telemetry
★ 2,625opentelemetry-java-instrumentation
OpenTelemetry 自動インスツルメンテーションおよび Java 用インスツルメンテーション ライブラリ。
meta-pytorch
★ 2,606torchrec
レコメンデーション システム用の Pytorch ドメイン ライブラリ。 TorchRec TorachRec** は、大規模なレコメンダー システム (RecSys) に必要な共通のスパース性と並列性のプリミティブを提供するために構築された PyTorch ドメイン ライブラリです。
loomio
★ 2,598loomio
Loomio は共同的な意思決定ツールです。 Loomio は、協力的な組織のための意思決定ツールです。
youlaitech
★ 2,592vue3-element-admin
このプロジェクトは「Vue 3 + Vite 7+ TypeScript + element-plus vue-element-admin vue3 .」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。
pnnbao97
★ 2,573VieNeu-TTS
pnnbao97/VieNeu-TTSは実運用向けに使える実用的なオープンソース実装で、再利用可能な導入ルートを持つプロジェクトです。
microsoft
★ 2,517CsWin32
Win32 P/Invoke メソッドとサポートされる型のユーザー定義セットを C# プロジェクトに追加するソース ジェネレーター。
chromebrew
★ 2,516chromebrew
このプロジェクトは「Package manager for Chrome OS. The only missing pieces to use them as full-featured Linux distro were gcc and make with their dependencies.」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。
actions
★ 2,497labeler
プル リクエストに自動的にラベルを付けるアクション。 V7 での変更点 最新の @actions/* パッケージ バージョンをサポートするために、内部的に ESM に移行されました。
mirage-project
★ 2,490mirage
Mirage Persistent Kernel: LLM を MegaKernel にコンパイルします。クイックスタート Mirage を使用すると、主にカーネルの入力と出力を定義するために、わずか数十行の Python を使用して、Hugging Face モデル動物園からの LLM をメガカーネルにコンパイルできます。