HYSEN LABS ディレクトリ

#Apache 2.0

ライセンスタグ · 厳選リポジトリと詳細分析。

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

canine

2,932

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

Rubyクラウドネイティブ・DevOpsフォーク 119
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
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
mirage-project

mirage

2,490

Mirage Persistent Kernel: LLM を MegaKernel にコンパイルします。クイックスタート Mirage を使用すると、主にカーネルの入力と出力を定義するために、わずか数十行の Python を使用して、Hugging Face モデル動物園からの LLM をメガカーネルにコンパイルできます。

Cuda開発ツールフォーク 252