Tags populaires：
Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

AGX : Un client ClickHouse de bureau moderne construit avec Tauri et SvelteKit

2025-03-19
AGX : Un client ClickHouse de bureau moderne construit avec Tauri et SvelteKit

AGX est une application de bureau construite avec Tauri et SvelteKit, offrant une interface moderne pour explorer et interroger des données à l'aide du moteur de base de données embarqué de ClickHouse (chdb). Elle offre les performances d'une application de bureau native, un éditeur de requêtes SQL interactif avec coloration syntaxique, un navigateur de schéma, un affichage des résultats sous forme de tableau, la prise en charge du glisser-déposer de fichiers et une compatibilité multiplateforme (macOS, Linux, Windows). L'interface utilisateur utilise SvelteKit pour une interface réactive et efficace, tandis que le backend utilise Tauri et Rust pour des performances et une sécurité natives. La communication entre l'interface utilisateur et le backend se fait via le pont IPC de Tauri, les requêtes de données étant traitées par le moteur ClickHouse embarqué, chdb. Les contributions sont les bienvenues !

Lire plus
(github.com)
Développement

Ikemen GO : Un moteur de jeu de combat open source en Go

2025-03-19
Ikemen GO : Un moteur de jeu de combat open source en Go

Ikemen GO est un moteur de jeu de combat open source écrit en Go, offrant une compatibilité descendante avec M.U.G.E.N version 1.1 Beta tout en ajoutant de nombreuses nouvelles fonctionnalités. Des binaires précompilés sont disponibles pour Windows, macOS et Linux, avec des builds nocturnes également fournis. Une documentation complète couvre la construction, le débogage (à l'aide de Goland ou VS Code) et la compilation croisée avec Docker. Le code source du moteur est sous licence MIT, certains actifs étant sous licence CC-BY 3.0.

Lire plus
(github.com)
Jeux

Zest : Un langage de programmation alliant malléabilité et lisibilité

2025-03-19
Zest : Un langage de programmation alliant malléabilité et lisibilité

Zest est un langage de programmation en cours de développement, conçu pour créer des systèmes à la fois malléables et lisibles. Il vise à combiner l'interactivité et la réactivité de systèmes comme emacs avec des fonctionnalités telles que le typage statique, la liaison précoce et le « jump-to-definition ». Actuellement, Zest prend en charge les flux de contrôle de base, l'arithmétique et les fonctions, mais nécessite encore des améliorations en matière de gestion des erreurs, de gestion de la mémoire et de fonctions récursives. Le code peut être interprété ou compilé, mais le mode mixte n'est pas encore pris en charge. La documentation inclut des tests intégrés pour vérifier la sortie des différents dialectes (lax et strict).

Lire plus
(github.com)
Développement

fd : Outil de recherche de fichiers ultra-rapide (23 fois plus rapide que find)

2025-03-19
fd : Outil de recherche de fichiers ultra-rapide (23 fois plus rapide que find)

fd est une alternative plus rapide et plus conviviale à la commande find. Il se caractérise par une syntaxe intuitive, une traversée de répertoires parallélisée et une correspondance intelligente de la casse, ignorant par défaut les fichiers cachés et les entrées .gitignore. Il prend en charge les expressions régulières et les modèles glob, offrant de nombreuses options pour personnaliser les recherches, notamment la spécification des répertoires racines, des types de fichiers, des tailles, des dates de modification, etc. Il s'intègre parfaitement à d'autres commandes telles que `ls`, `rm`, `rg` et `fzf`. Des tests de référence montrent l'avantage de vitesse significatif de fd par rapport à find dans les systèmes de fichiers volumineux, atteignant jusqu'à 23 fois plus de performances.

Lire plus
(github.com)
Développement recherche de fichiers

Git-Who : Trouvez facilement l’auteur du code

2025-03-18
Git-Who : Trouvez facilement l’auteur du code

Fatigué de chercher les auteurs de sections de code spécifiques ? Git-Who, un outil en ligne de commande, est votre solution ! Contrairement à `git blame`, qui se concentre sur les lignes individuelles, Git-Who identifie les principaux contributeurs à des composants ou sous-systèmes de code entiers. À l’aide de trois sous-commandes — `table`, `tree` et `hist` —, il présente les informations d’auteur dans des tableaux, des structures d’arborescence et des chronologies, montrant les comptes de contributions, les heures de la dernière modification, les lignes modifiées, et bien plus encore. Filtrez les résultats par chemin, branche, balise ou plage de révisions et utilisez des indicateurs pour le tri et le filtrage. Git-Who respecte même les Git mailmaps, consolidant les contributions avec des noms ou des adresses électroniques différents. Essayez Git-Who pour obtenir une image claire de l’auteur du code !

Lire plus
(github.com)
Développement auteur de code

NVIDIA Dynamo : Framework d'inférence haute performance et faible latence pour l'IA générative

2025-03-18
NVIDIA Dynamo : Framework d'inférence haute performance et faible latence pour l'IA générative

NVIDIA présente Dynamo, un framework d'inférence haute performance et faible latence conçu pour servir les modèles d'IA générative et de raisonnement dans des environnements distribués multinœuds. Dynamo est agnostique du moteur d'inférence (compatible avec TRT-LLM, vLLM, SGLang et autres), et intègre des fonctionnalités telles que l'inférence de préremplissage et de décodage désagrégée, l'ordonnancement dynamique du GPU, le routage des requêtes conscient des LLM, le transfert de données accéléré et la décharge du cache KV pour maximiser le débit du GPU et minimiser la latence. Développé en Rust pour les performances et en Python pour l'extensibilité, Dynamo est entièrement open source.

Lire plus
(github.com)
IA Framework d'inférence

Sesame AI publie un modèle de parole conversationnel de 1 milliard de paramètres

2025-03-18
Sesame AI publie un modèle de parole conversationnel de 1 milliard de paramètres

Les laboratoires Sesame AI ont publié CSM (Conversational Speech Model), un modèle de génération de parole de 1 milliard de paramètres basé sur l'architecture Llama. CSM génère des codes audio RVQ à partir d'entrées texte et audio, et son point de contrôle est disponible sur Hugging Face. Une démo vocale interactive et un espace Hugging Face pour tester la génération audio sont également fournis. Bien qu'il soit capable de produire des voix variées, CSM n'a pas été finement ajusté sur des voix spécifiques et a un support multilingue limité. Sesame AI souligne son utilisation à des fins de recherche et d'éducation uniquement, interdisant l'usurpation d'identité, la désinformation et les activités illégales.

Lire plus
(github.com)
IA génération de parole

Cascii : Constructeur de diagrammes ASCII et Unicode en ligne sans dépendances

2025-03-17
Cascii : Constructeur de diagrammes ASCII et Unicode en ligne sans dépendances

Cascii est un constructeur de diagrammes ASCII et Unicode basé sur le web, écrit en JavaScript pur. Il n'a aucune dépendance envers les serveurs, l'empaquetage web ou les bibliothèques, et n'utilise aucune balise ou feuille de style. Il suffit d'ouvrir le fichier cascii.html pour commencer à construire des diagrammes. Cascii est également hébergé sur cascii.app, offrant des liens courts pour les diagrammes, la création de comptes, et plus encore. Les fonctionnalités incluent la gestion des calques, les outils de sélection, le groupement, le tri, la duplication, les tableaux dynamiques, le dessin/effacement libre, l'enregistrement automatique, le collage/l'importation de texte, l'historique (annuler/refaire), et la prise en charge des caractères ASCII et Unicode.

Lire plus
(github.com)
Développement dessin ASCII dessin Unicode

coq-of-rust : Vérification formelle pour un code Rust 100% exempt de bogues

2025-03-17
coq-of-rust : Vérification formelle pour un code Rust 100% exempt de bogues

coq-of-rust est un outil de vérification formelle pour Rust qui traduit les programmes Rust dans l'assistant de preuve Coq afin d'obtenir un code 100% exempt de bogues. En traduisant le code Rust en Coq, il utilise les puissantes techniques de preuve de Coq pour vérifier l'exactitude du code, éliminant ainsi tous les bogues. L'outil prend en charge un large éventail de fonctionnalités Rust et offre des services de vérification formelle pour les applications critiques telles que les contrats intelligents et les moteurs de bases de données.

Lire plus
(github.com)
Développement Vérification formelle

Cline : Votre assistant de codage IA, maîtrisant votre CLI et votre éditeur

2025-03-17
Cline : Votre assistant de codage IA, maîtrisant votre CLI et votre éditeur

Cline est un assistant IA basé sur Claude 3.7 Sonnet, capable de gérer des tâches complexes de développement logiciel étape par étape. Il peut créer et modifier des fichiers, explorer de grands projets, utiliser un navigateur et exécuter des commandes de terminal (avec autorisation). Cline prend en charge plusieurs fournisseurs d'API et peut étendre ses capacités via le protocole Model Context Protocol (MCP). Il dispose d'une interface graphique utilisateur avec boucle humaine pour la sécurité et la fiabilité. Cline offre également une surveillance des erreurs, une complétion de code et un contrôle de version, augmentant ainsi considérablement l'efficacité du développement.

Lire plus
(github.com)
Développement Développement de code

La boîte à outils de vérification mobile d'Amnesty International : un outil forensique pour la détection des logiciels espions

2025-03-17
La boîte à outils de vérification mobile d'Amnesty International : un outil forensique pour la détection des logiciels espions

Le Laboratoire de sécurité d'Amnesty International a publié le Mobile Verification Toolkit (MVT) en juillet 2021. Cet outil permet de simplifier et d'automatiser le processus de collecte d'éléments de preuve médico-légaux pour identifier les compromis potentiels sur les appareils Android et iOS. Le MVT utilise des indicateurs de compromission (IOC) accessibles au public pour rechercher des traces de campagnes de logiciels espions connues, mais il est crucial de se rappeler que cela ne garantit pas la sécurité complète de l'appareil. Destiné aux technologues et aux enquêteurs familiarisés avec la criminalistique numérique et les outils en ligne de commande, le MVT n'est pas destiné à l'auto-évaluation générale.

Lire plus
(github.com)
Technologie criminalistique numérique

CppMatch : Une bibliothèque C++ pour la gestion des erreurs et la correspondance de motifs à la manière de Rust

2025-03-16
CppMatch : Une bibliothèque C++ pour la gestion des erreurs et la correspondance de motifs à la manière de Rust

CppMatch est une bibliothèque C++ légère et uniquement en en-tête qui apporte la gestion des erreurs et la correspondance de motifs à la manière de Rust à C++. Elle utilise un type `Result` pour représenter le succès ou l'échec, simplifie la gestion des erreurs avec la macro `expect` et implémente la correspondance de motifs avec la macro `match`. Elle offre également `zip_match` pour combiner plusieurs objets `Result`. Compatible avec Clang et GCC, CppMatch propose diverses stratégies de gestion des erreurs, y compris la gestion de différents types d'erreurs avec des lambdas. C'est une option intéressante pour les développeurs C++ qui recherchent l'élégance de la gestion des erreurs de Rust.

Lire plus
(github.com)
Développement Correspondance de motifs

Wify : Une application React Native pour une connexion Wi-Fi simplifiée

2025-03-16
Wify : Une application React Native pour une connexion Wi-Fi simplifiée

Wify est une application React Native qui simplifie la connexion Wi-Fi en scannant des images ou en utilisant l'appareil photo pour extraire les identifiants Wi-Fi. Elle prend en charge la reconnaissance OCR dans plusieurs langues, utilise la correspondance floue pour les noms Wi-Fi et inclut une gestion robuste des autorisations avec des invites conviviales pour l'utilisateur. L'application se connecte parfaitement aux réseaux, même avec de légères différences de noms, rendant l'accès Wi-Fi rapide et facile sur Android et iOS.

Lire plus
(github.com)
Développement Connexion Wi-Fi

zlib-ng : Une bibliothèque de compression de données nouvelle génération

2025-03-16
zlib-ng : Une bibliothèque de compression de données nouvelle génération

zlib-ng est une version modernisée de la bibliothèque de compression zlib populaire, améliorant les performances, la maintenabilité et la portabilité. Elle intègre des optimisations d'Intel et de Cloudflare, et prend en charge un large éventail d'ensembles d'instructions CPU tels que AVX-512 et ARM NEON. zlib-ng vise à coexister avec zlib, offrant un seuil plus bas pour les modifications de code et prenant en charge CMake et plusieurs systèmes de build.

Lire plus
(github.com)
Développement

UUSEC WAF : Un pare-feu d'application web gratuit et performant

2025-03-16
UUSEC WAF : Un pare-feu d'application web gratuit et performant

UUSEC WAF est un produit de protection de sécurité d'application web et d'API gratuit, performant et hautement évolutif qui utilise l'IA et des moteurs sémantiques. Il dispose d'une fonction de défense complète à trois niveaux (couches trafic, système et exécution). Utilisant l'apprentissage automatique pour la détection d'anomalies, il intercepte les attaques de jour zéro sans avoir besoin de règles supplémentaires. Sa fonction de nettoyage du cache autodéveloppée dépasse les versions commerciales de nginx, offrant la correspondance d'expressions régulières pour une plus grande flexibilité. Les fonctions HIPS et RASP intégrées fournissent une puissante défense à deux niveaux. Les moteurs sémantiques avancés et la capacité d'écrire des règles en Lua permettent une création de règles hautement flexible. L'installation est simple, avec des options d'hôte et Docker. Les tests de référence montrent une précision supérieure à 99 %, dépassant significativement les WAF gratuits comparables.

Lire plus
(github.com)
Technologie

Docs : Un éditeur de documents collaboratif open source qui défie Notion

2025-03-16
Docs : Un éditeur de documents collaboratif open source qui défie Notion

Docs est un éditeur de documents collaboratif open source conçu pour simplifier la création et le partage de connaissances. Il offre l'édition hors ligne, une mise en forme épurée, des actions basées sur l'IA (générer, résumer, corriger, traduire), une collaboration en temps réel et un contrôle d'accès granulaire. Docs est facile à installer et à mettre à l'échelle, offrant plusieurs formats d'exportation de documents. Dirigé par les gouvernements français et allemand, ce projet multilingue est en développement actif et prévoit d'intégrer une fonctionnalité wiki.

Lire plus
(github.com)
Développement éditeur collaboratif

Devenez un développeur 10x en 30 secondes avec rust-stakeholder

2025-03-16
Devenez un développeur 10x en 30 secondes avec rust-stakeholder

Fatigué de coder vraiment ? Découvrez rust-stakeholder, un outil en ligne de commande qui génère une sortie de terminal impressionnante, mais totalement sans signification. Convainquez tout le monde que vous êtes un génie du codage sans écrire une seule ligne de code utile ! Simulez l'activité de développement, générez des barres de progression, du trafic réseau factice et même créez des crises artificielles. C'est une satire, bien sûr – ne l'utilisez pas pour obtenir un emploi pour lequel vous n'êtes pas qualifié !

Lire plus
(github.com)
Développement humour de programmeur

Agentic : Une plateforme d'agent extensible avec des sorties structurées

2025-03-16
Agentic : Une plateforme d'agent extensible avec des sorties structurées

Agentic est une plateforme permettant aux utilisateurs de définir des extensions et des schémas de sortie à l'aide de modèles de données Pydantic. Cela permet des sorties structurées des chatbots, comme le montre l'exemple de code définissant un modèle de sortie de temps pour les informations de date et d'heure. Cela offre une plus grande flexibilité et un meilleur contrôle pour la création d'applications d'IA.

Lire plus
(github.com)
Développement

Pandas Asynchrone : Boostez vos flux de travail Pandas avec Async

2025-03-15
Pandas Asynchrone : Boostez vos flux de travail Pandas avec Async

aiopandas est une bibliothèque légère qui ajoute un support asynchrone aux fonctions principales de Pandas telles que `map`, `apply` et `applymap` via le monkey patching. Cela permet une intégration transparente des fonctions asynchrones, permettant une exécution parallèle contrôlée avec `max_parallel` pour un traitement beaucoup plus rapide des tâches liées aux E/S comme les appels d'API, le web scraping et les requêtes de base de données. Il s'intègre également à tqdm pour le suivi de la progression. Il suffit de remplacer `.map()` par `.amap()` (et de même pour les autres fonctions) pour un remplacement presque direct.

Lire plus
(github.com)
Développement Traitement Parallèle

MYGA : Redonnons sa grandeur à YouTube

2025-03-15
MYGA : Redonnons sa grandeur à YouTube

MYGA est un frontend YouTube épuré et minimaliste, débarrassé des publicités et des fonctionnalités superflues. Propulsé par yt-dlp pour télécharger les vidéos et, en option, par votre modèle d'IA local pour résumer le contenu des vidéos, il offre une expérience YouTube locale, efficace, concise et sans publicité. Il inclut la gestion des chaînes, les abonnements, la lecture en arrière-plan, la lecture hors ligne et bien plus encore. Il est indépendant (à l'exception de nano-spawn), utilisant uniquement HTML/CSS ; aucun framework JS côté client ou serveur. Hébergez-le sur votre réseau domestique pour lire les vidéos sur tous vos appareils.

Lire plus
(github.com)
Développement

Programmation Sketch : un paradigme minimaliste pour la conception de code (transpileur LLM)

2025-03-15
Programmation Sketch : un paradigme minimaliste pour la conception de code (transpileur LLM)

La programmation Sketch est une approche révolutionnaire du développement logiciel qui privilégie la simplicité, la lisibilité et l'expressivité. Ce n'est pas un langage spécifique, mais un paradigme de métaprogrammation qui abstrait le code redondant, réduit la charge cognitive et permet aux développeurs de se concentrer sur la logique principale. Implémentable dans n'importe quel langage, Sketch fonctionne pour des projets de toutes tailles. L'idée principale est d'« esquisser » l'essence du programme avec une syntaxe minimale et intuitive, laissant les détails au langage sous-jacent. Il utilise une syntaxe déclarative basée sur des mots clés, en mettant l'accent sur la lisibilité et l'intention, et en prenant en charge l'itération rapide et la conception indépendante du langage. Un exemple montre un composant React esquissé puis transpilé en code React complet. Une extension pour VS Code est également en cours de développement.

Lire plus
(github.com)
Développement Programmation Sketch

eli : 15 ans d’odyssée dans l’interprétation de Lisp embarqué

2025-03-15
eli : 15 ans d’odyssée dans l’interprétation de Lisp embarqué

eli est l’aboutissement de plus de 15 ans de conception et d’implémentation d’interprètes Lisp embarqués dans divers langages. Né d’un besoin de Lisp embarqué pour des projets personnels, il est devenu l’un des projets les plus importants de l’auteur. Principalement implémenté en Java, avec des efforts continus pour l’intégrer à Common Lisp, eli montre des performances comparables à celles de Python dans certains benchmarks. Le projet possède un système de types unique englobant les bits, les types appelables, les types comparables, les types comptables, les caractères, les nombres à virgule flottante, les entiers, les itérateurs, les itérables, les bibliothèques, les listes, les mappages, les types de types, les types de méthodes, les valeurs manquantes, les types numériques, les paires, les chaînes de caractères, les identificateurs, les durées et les points dans le temps. Il offre un ensemble riche de fonctionnalités, notamment des instructions conditionnelles, des boucles, des macros, la liaison de variables, la vérification de types, la définition de méthodes, la surcharge, les lambdas et la gestion des espaces de noms/modules.

Lire plus
(github.com)
Développement

RubyLLM : Une élégante bibliothèque Ruby pour l'interaction avec l'IA

2025-03-15
RubyLLM : Une élégante bibliothèque Ruby pour l'interaction avec l'IA

RubyLLM est une bibliothèque Ruby propre et facile à utiliser qui simplifie l'interaction avec divers modèles d'IA, notamment OpenAI, Anthropic, Gemini et DeepSeek. Elle fournit une API unifiée et un format de données cohérent, éliminant les problèmes liés à la gestion d'API incompatibles de différents fournisseurs d'IA. RubyLLM prend en charge un large éventail de fonctionnalités d'IA, telles que le chat, l'analyse d'images et d'audio, le traitement de PDF, la génération d'images, les embeddings vectoriels et l'intégration d'outils personnalisés. L'intégration transparente avec Rails permet une persistance facile de l'historique de chat. Sa philosophie de conception privilégie un code Ruby élégant plutôt que des configurations et des rappels complexes, faisant de l'interaction avec l'IA un plaisir.

Lire plus
(github.com)
Développement

Le framework de collaboration multi-agents open source OWL arrive en tête du benchmark GAIA

2025-03-14
Le framework de collaboration multi-agents open source OWL arrive en tête du benchmark GAIA

OWL, un framework de pointe pour la collaboration multi-agents construit sur le framework CAMEL-AI, a atteint la première place du benchmark GAIA avec un score moyen de 58,18 ! Il permet une automatisation des tâches plus naturelle, efficace et robuste dans divers domaines grâce à des interactions dynamiques entre agents. OWL est open source, prend en charge plusieurs méthodes d'installation et des modèles (y compris OpenAI, Qwen et DeepSeek), et dispose d'un riche ensemble de kits d'outils tels que l'automatisation du navigateur, le traitement multi-modal et l'analyse de documents. Une interface utilisateur web conviviale est également fournie. L'équipe OWL recherche activement des contributions de la communauté pour des cas d'utilisation et améliore continuellement le framework.

Lire plus
(github.com)
IA collaboration multi-agents automatisation des tâches

Langage Exo : Guide d'installation, de développement et de test

2025-03-14
Langage Exo : Guide d'installation, de développement et de test

Exo est un langage de programmation prenant en charge Python 3.9 et versions supérieures. L'installation est simple via pip. Les fichiers Exo s'exécutent directement avec Python, et les fichiers C/d'en-tête sont générés à l'aide de la commande exocc. Le développement nécessite la configuration d'un environnement virtuel et l'installation des dépendances, notamment PySMT et CMake. Les tests nécessitent z3-solver (ou un autre solveur) et CMake 3.21 ou version ultérieure. Les tests couvrent divers scénarios et prennent en charge les tests de couverture de code. Plus d'informations et d'exemples sont disponibles dans le dépôt du projet.

Lire plus
(github.com)
Développement

Prévision probabiliste des séries temporelles : un changement de paradigme dans l'analyse prédictive

2025-03-14
Prévision probabiliste des séries temporelles : un changement de paradigme dans l'analyse prédictive

Dites adieu aux prédictions ponctuelles ! La prévision probabiliste des séries temporelles révolutionne l'analyse prédictive en fournissant des distributions de probabilité complètes des résultats possibles, et non plus de simples valeurs uniques. Cela permet une prise de décision plus nuancée et fiable. Des études montrent des améliorations significatives de la précision des prévisions, une réduction des erreurs et, surtout, une meilleure prédiction des événements extrêmes. Divers secteurs, notamment les services financiers, la santé et la fabrication, tirent parti d'une meilleure évaluation des risques, d'une allocation optimale des ressources et d'une gestion des stocks améliorée. Ce guide complet explore les principes, les méthodes (méthodes bayésiennes, processus gaussiens, modèles probabilistes profonds) et les applications de la prévision probabiliste dans divers domaines. Il aborde également des techniques cruciales telles que le prétraitement des données, la sélection des modèles et le calibrage de l'incertitude.

Lire plus
(github.com)
IA Prévision Probabiliste Séries Temporelles

Contournement de WebUSB : Contrôle d’un Raspberry Pi Pico via une faille U2F

2025-03-14
Contournement de WebUSB : Contrôle d’un Raspberry Pi Pico via une faille U2F

Contrôlez un Raspberry Pi Pico depuis votre navigateur sans WebUSB ! Cet article détaille une méthode exploitant une faille de sécurité du protocole de clé U2F. En émulant une clé de sécurité U2F, les données sont déguisées en signature, contournant les restrictions de sécurité du navigateur pour contrôler la LED du Pico. Bien que cela exploite une faille U2F, il ne s’agit pas d’une vulnérabilité de sécurité en soi, cela fonctionne uniquement sur les appareils conçus intentionnellement avec cette faille. L’article souligne les risques liés à la connexion de périphériques USB inconnus.

Lire plus
(github.com)
Matériel

MCPGod : Simplification de la gestion des serveurs du protocole de contexte de modèle

2025-03-14
MCPGod : Simplification de la gestion des serveurs du protocole de contexte de modèle

MCPGod est un outil en ligne de commande conçu pour simplifier la gestion des serveurs du Protocolo de Contexte de Modèle (MCP). Il permet aux développeurs d'ajouter, d'exécuter, de lister et de supprimer facilement des serveurs, ainsi que d'interagir avec les outils serveur. Compatible avec Windows, macOS et Linux, MCPGod fournit une journalisation détaillée pour faciliter le débogage. Les fonctionnalités incluent l'ajout ou la suppression de serveurs MCP pour des clients spécifiques, la liste de tous les outils sur n'importe quel serveur MCP, l'exécution de n'importe quel outil directement depuis la ligne de commande et le contrôle des autorisations des outils/clients.

Lire plus
(github.com)
Développement protocole de contexte de modèle gestion de serveurs

ArkFlow : Un moteur de traitement de flux Rust haute performance

2025-03-14
ArkFlow : Un moteur de traitement de flux Rust haute performance

ArkFlow est un moteur de traitement de flux haute performance construit sur Rust et Tokio. Il prend en charge plusieurs sources de données telles que Kafka, MQTT et HTTP, et offre divers processeurs, notamment les requêtes SQL, le traitement JSON et l'encodage/décodage Protobuf. Sa conception modulaire permet une extension facile, et la configuration est gérée via des fichiers YAML. Les utilisateurs peuvent définir les entrées, les pipelines et les sorties pour gérer diverses tâches de traitement de flux, telles que le traitement de données de Kafka à Kafka ou la génération et le traitement de données de test.

Lire plus
(github.com)
Développement

Écrire du code C en Prolog : le projet C Plus Prolog

2025-03-13
Écrire du code C en Prolog : le projet C Plus Prolog

Le projet C Plus Prolog tente de fusionner Prolog et C. Il utilise des fonctionnalités non standard de SWI-Prolog pour traduire du code Prolog en C. Le projet utilise les capacités de métaprogrammation de Prolog pour implémenter des fonctionnalités avancées telles que les macros et la programmation générique. Bien que verbeux et sujet aux erreurs, il explore les possibilités des macros dans un langage de programmation système et démontre le potentiel de Prolog pour la génération de code. Malgré ses particularités, il offre une approche unique pour le développement multiplateforme C, en tirant parti des capacités de Prolog.

Lire plus
(github.com)
Développement
1 2 … 30 31 32 34 36 37 38 … 50 51