HYSEN LABS ディレクトリ

#クロスプラットフォーム

プラットフォームタグ · 厳選リポジトリと詳細分析。

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

verus

3,039

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

Rust開発ツールフォーク 220
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
opensolon

solon

2,777

このプロジェクトは「Java enterprise application development framework for full scenario: Restrained, Efficient, Open, Ecologicalll!!! 700% higher concurrency 50% memory savings Startup is 10 times faster. Packing 90% smaller; Compatible with java8 ~ java25; Supports LTS. (Replaceable spring).」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。

JavaAI・機械学習フォーク 281
meta-pytorch

torchrec

2,606

レコメンデーション システム用の Pytorch ドメイン ライブラリ。 TorchRec TorachRec** は、大規模なレコメンダー システム (RecSys) に必要な共通のスパース性と並列性のプリミティブを提供するために構築された PyTorch ドメイン ライブラリです。

Python開発ツールフォーク 690
chromebrew

chromebrew

2,516

このプロジェクトは「Package manager for Chrome OS. The only missing pieces to use them as full-featured Linux distro were gcc and make with their dependencies.」を基盤として、実践的に使えるオープンソース実装を提供し、再利用可能なツールチェーンと統合手段を備えています。

Ruby開発ツールフォーク 421