HYSEN LABS ディレクトリ

開発ツール

開発ツールの厳選リポジトリを詳細タグと実用的な分析付きで紹介します。

厳選オープンソースプロジェクト 800 件
3,135

このプロジェクトは「A game engine with a fully bindless, GPU-driven renderer featuring real-time path-traced global illumination, hardware ray tracing, and a physics simulation running at 200Hz, built over 10+ years of R&D.」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。

C++ゲーム開発フォーク 276
petergoldstein

dalli

3,113

このプロジェクトは「High performance memcached client for Ruby. Valid examples: :, /, |, ., -, _, # Security Note By default, Dalli uses Ruby's Marshal for serialization.」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。

Ruby開発ツールフォーク 468
FStarLang

FStar

3,104

このプロジェクトは「A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。

F*開発ツールフォーク 265
music-assistant

server

3,070

このプロジェクトは「Music Assistant is a free, opensource Media library manager that connects to your streaming services and a wide range of connected speakers. The server is the beating heart, the core of Music Assistant and must run on an always-on device like a Raspberry Pi, a NAS or an Intel NUC or alike.」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。

Python開発ツールフォーク 597
verus-lang

verus

3,039

低レベルのシステムコードについてはRustを検証しました。 Verus は実行時チェックを追加するのではなく、コードが正しいことを証明するために強力なソルバーに依存します。

Rust開発ツールフォーク 220
zerx-lab

FluxDown

3,038

FluxDown は、再開可能な転送、キュー管理、ローカル オートメーション制御を備えたメディアのダウンロードおよび処理ユーティリティです。

Rust開発ツールフォーク 154
foss42

apidash

2,909

このプロジェクトは「API Dash is a beautiful AI-powered open-source cross-platform (Desktop & Mobile) API Client built using Flutter which can help you easily create & customize your HTTP & GraphQL API requests, visually inspect responses and generate API integration code. A lightweight alternative to postman/insomnia.」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。

DartAI・機械学習フォーク 1,007
radixark

miles

2,886

このプロジェクトは「Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime.」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。

PythonAI・機械学習フォーク 496
2,842

DaVinci Resolve Studio の MCP サーバー統合。 DaVinci Resolve MCP サーバー blue.svg) 18%20tools-blueviolet.svg) AI アシスタントが公式のスクリプト API を通じて DaVinci Resolve Studio を制御できるようにするモデル コンテキスト プロトコル (MCP) サーバー。

Python開発ツールフォーク 325