RÉPERTOIRE HYSEN LABS

#Apache 2.0

Tag Licence · dépôts sélectionnés et analyses approfondies.

429 projets open source sélectionnés
FStarLang

FStar

3 104

Ce projet transforme « 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]. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

F*Outils de développement265 forks
music-assistant

server

3 070

Ce projet transforme « 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. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

PythonOutils de développement597 forks
CanineHQ

canine

2 932

Un PaaS convivial pour les développeurs pour votre Kubernetes. Déployez des applications avec git push, gérez les services via une interface Web intuitive et utilisez toute la puissance de Kubernetes sans écrire YAML.

RubyCloud natif et DevOps119 forks
foss42

apidash

2 909

Ce projet transforme « 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. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

DartIA et apprentissage automatique1 007 forks
Project-N-E-K-O

N.E.K.O

2 896

Project-N-E-K-O/N.E.K.O offre une implémentation open source exploitable en conditions réelles avec une structure réutilisable.

PythonIA et apprentissage automatique320 forks
radixark

miles

2 886

Ce projet transforme « Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime. » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

PythonIA et apprentissage automatique496 forks
opensolon

solon

2 777

Ce projet transforme « 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). » en une solution open source exploitable, avec une chaîne d’outils réutilisable et des moyens d’intégration pour des cas d’usage concrets.

JavaIA et apprentissage automatique281 forks
mirage-project

mirage

2 490

Mirage Persistent Kernel : compilation de LLM dans un MegaKernel. Quickstart Mirage vous permet de compiler des LLM du zoo modèle Hugging Face dans un méga-noyau en utilisant seulement quelques dizaines de lignes de Python, principalement pour définir les entrées et sorties du noyau.

CudaOutils de développement252 forks