HYSEN LABS ディレクトリ

#活発にメンテナンス

メンテナンス状況タグ · 厳選リポジトリと詳細分析。

厳選オープンソースプロジェクト 1407 件
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
GoogleCloudPlatform

professional-services

3,073

Google Cloud のプロフェッショナル サービス チームによって開発された共通のソリューションとツール。このリポジトリとそのコンテンツは、正式にサポートされている Google 製品ではありません。

Pythonクラウドネイティブ・DevOpsフォーク 1,470
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
CanineHQ

canine

2,932

開発者にとって使いやすい Kubernetes 用の PaaS。 git Push を使用してアプリケーションをデプロイし、直感的な Web インターフェイスを通じてサービスを管理し、YAML を作成せずに Kubernetes の機能を最大限に活用します。

Rubyクラウドネイティブ・DevOpsフォーク 119