rust

CreuSAT - Un solveur SAT formellement vérifié, écrit en Rust et vérifié avec Creusot.

Un client YouTube Music en terminal axé sur la confidentialité, la simplicité et les performances

🌲 Implémentation d'un nœud Filecoin en Rust

Exécuter WebAssembly depuis Elixir

Convertisseur PDF Pure Rust, sans navigateur, sans dépendances externes. Supporte HTML avec CSS intégré, Markdown, et conversion de documents avec un moteur de mise en page intégré.

Un framework minimaliste d'autonomie pour quadricoptère en Rust (Mac, Linux, Windows)

Moteur de rendu wgpu/WebGPU multiplateforme, conçu en Rust et exposé à Python pour un rendu 3D sans tête ultra-rapide. Développé en Rust, distribué sous forme de wheels Python.

Un modèle Tauri 2.0 + Next.js (SSG) avec TailwindCSS, un linter préconfiguré et GitHub Actions

Un outil en mode TUI pour naviguer et télécharger des torrents

Un équivalent de top pour NGINX

Bibliothèque de simulation de fluides en 2 et 3 dimensions écrite en Rust.

APIs spécifiques aux fournisseurs et détection de fonctionnalités à l'exécution pour la bibliothèque standard de Rust

Bibliothèque client MySQL implémentée en Rust.

Un guide de théorie musicale écrit en Rust.

Serveur de terminal multi-dispositif pour agents de codage IA. VTE côté serveur, persistance des sessions, explorateur de fichiers, aperçu Web, système de plugins. Auto-hébergé.

Téléchargeur multi-thread pour PicACG avec interface graphique, gestion des favoris et exécutable fourni.

Rust sur le Flipper Zero

Unité centrale CarPlay et Android Auto native pour Linux (ARM/x64) et macOS (ARM/x64). Projection filaire et sans fil multi-session, décodage vidéo matériel sans copie, audio à faible latence.

Application de bureau pour contrôler votre ordinateur avec l'IA en utilisant votre terminal, navigateur, souris et clavier

API Windows et GUI en Rust, de manière sûre et idiomatique.

Pilote CQL asynchrone pour Rust, optimisé pour ScyllaDB!

爱快分流规则维护：automatiser la mise en place des règles de partage via un fichier de configuration distant, permettant le basculement automatique du routage, le partage de domaines, le partage de ports (regroupement d'IP), la personnalisation des opérateurs, le blocage de publicités, etc.

TUI pour les LLM

GGRS est une réimagination de GGPO, permettant le réseau de rollback P2P en Rust. Rollback vers le futur !

清风输入法 | 轻量、快速、可定制的开源中文输入法，专为五笔和码表输入方案设计（Windows / macOS）

KVM logiciel multiplateforme open-source pour le partage de clavier, de souris et de presse-papier entre Windows, macOS et Linux sur des réseaux locaux de confiance.

La meilleure application open source de programmation en binôme à distance.

Machine virtuelle sandbox minimaliste et sans dépendance pour microcontrôleurs et autres appareils à ressources limitées. Un fichier C unique, aucune allocation de mémoire dynamique, conception asynchrone, pure C99

Moteur d'inférence LLM en Rust pur et CUDA — sans PyTorch, compatible avec OpenAI, servant Qwen3 vers Kimi-K2.

Gestionnaire de terminaux SSH et éditeur de configuration SSH gratuit et open-source en Rust pour macOS et Linux qui synchronise ~/.ssh/config avec 17 fournisseurs cloud, surveille les tunnels SSH en direct et gère un parc de conteneurs Docker et Podman. Inclut également scp, les certificats SSH Vault et un serveur MCP pour les agents IA.