HYSEN LABS VERZEICHNIS

#Apache 2.0

Lizenz-Tag · kuratierte Repositories und tiefgehende Analysen.

429 kuratierte Open-Source-Projekte
FStarLang

FStar

3.104

Dieses Projekt rundet „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].“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.

F*Entwicklerwerkzeuge265 Forks
GoogleCloudPlatform

professional-services

3.073

Gemeinsame Lösungen und Tools, die vom Professional Services-Team von Google Cloud entwickelt wurden. Dieses Repository und seine Inhalte sind kein offiziell unterstütztes Google-Produkt.

PythonCloud Native & DevOps1.470 Forks
music-assistant

server

3.070

Dieses Projekt rundet „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.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.

PythonEntwicklerwerkzeuge597 Forks
CanineHQ

canine

2.932

Ein entwicklerfreundliches PaaS für Ihr Kubernetes. Stellen Sie Anwendungen mit Git Push bereit, verwalten Sie Dienste über eine intuitive Weboberfläche und nutzen Sie die volle Leistung von Kubernetes, ohne YAML schreiben zu müssen.

RubyCloud Native & DevOps119 Forks
foss42

apidash

2.909

Dieses Projekt rundet „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.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.

DartKI & maschinelles Lernen1.007 Forks
Project-N-E-K-O

N.E.K.O

2.896

Project-N-E-K-O/N.E.K.O bietet eine praxistaugliche Open-Source-Implementierung mit stabiler Einsatzbarkeit für reale Anwendungsfälle.

PythonKI & maschinelles Lernen320 Forks
radixark

miles

2.886

Dieses Projekt rundet „Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime.“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.

PythonKI & maschinelles Lernen496 Forks
opensolon

solon

2.777

Dieses Projekt rundet „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).“ zu einer praxistauglichen Open-Source-Lösung zusammen, mit wiederverwendbarer Tooling- und Integrationsunterstützung für reale Anwendungsfälle.

JavaKI & maschinelles Lernen281 Forks
mirage-project

mirage

2.490

Mirage Persistent Kernel: Kompilieren von LLMs in einen MegaKernel. Mit Quickstart Mirage können Sie LLMs aus dem Hugging Face-Modellzoo in einen Megakernel kompilieren, indem Sie nur ein paar Dutzend Python-Zeilen verwenden – hauptsächlich zum Definieren der Ein- und Ausgänge des Kernels.

CudaEntwicklerwerkzeuge252 Forks