Awesome GitHub RepositoriesStatic Code Analysis

Ce projet est une collection complète de matériel pédagogique de programmation Python, y compris des tutoriels, des exercices et des exemples de code organisés. Il sert de programme d'apprentissage et de boîte à outils d'ingénierie logicielle, utilisant des Jupyter Notebooks pour combiner du code exécutable avec un texte éducatif descriptif. Le dépôt fournit des guides d'implémentation pratiques pour construire des applications de grand modèle de langage, telles que des systèmes de génération augmentée par récupération, des agents IA avec état et des flux de travail d'apprentissage automatique. Il se distingue en offrant une approche structurée des flux de travail de codage agentique, couvrant la distillation de la fenêtre de contexte, le routage de modèle agnostique au fournisseur et les sorties structurées imposées par schéma. Le matériel couvre un large éventail de capacités d'ingénierie logicielle, notamment la programmation asynchrone avec des files d'attente de tâches distribuées, le développement d'applications web avec des API REST et les flux de travail d'analyse de données. Il inclut également des ressources pour maîtriser la conception orientée objet, implémenter des pipelines CI/CD et appliquer des normes professionnelles de linting et de formatage.

Ce projet est un guide de style JavaScript et une norme de codage Node.js conçus pour garantir la création de code cohérent, maintenable et lisible. Il sert de référence complète pour les conventions de nommage, le formatage et les modèles architecturaux. Le projet fournit un modèle de configuration de linting qui permet l'application automatique de ces normes. Cela inclut des préréglages de linting prédéfinis et une base de règles utilisées pour effectuer des vérifications logiques et un formatage automatique à travers une base de code. Les directives couvrent un large éventail de capacités de standardisation, y compris le formatage du code et des fichiers, l'implémentation de modèles de codage spécifiques et la définition de conventions de nommage pour les identifiants. Ces normes sont appliquées via des configurations de linting automatisées pour maintenir la qualité tout au long des flux de travail de développement.

ZLS est un serveur de langage pour le langage Zig qui implémente le Language Server Protocol pour fournir une intelligence de type IDE. Il fonctionne comme un fournisseur d'intelligence de code, un outil d'analyse de code statique et un moteur de refactoring automatisé pour les projets Zig. Le serveur s'intègre directement avec la chaîne d'outils du compilateur Zig pour dériver des informations de type précises et effectuer une analyse sémantique. Il utilise cette intégration pour faire remonter les erreurs de compilation en temps réel en tant que diagnostics d'éditeur et pour fournir une mise en évidence de syntaxe sémantique basée sur les types résolus plutôt que sur des patterns regex. Le projet couvre un large éventail de capacités de développement, incluant la navigation dans les symboles, la complétion de code et les inlay hints. Il fournit des utilitaires de refactoring pour le renommage de symboles, le formatage de code source et l'organisation des imports. De plus, il gère l'automatisation de build, incluant les builds automatiques à la sauvegarde et la récupération des dépendances. Le serveur prend en charge la validation de configuration via JSON Schema et s'intègre avec des éditeurs tels que Sublime Text et les IDE JetBrains.

Asterinas est un noyau de système d'exploitation sécurisé en mémoire conçu pour prévenir les data races et la corruption mémoire. Il fonctionne comme un noyau compatible Linux-ABI, permettant l'exécution de binaires Linux existants et de charges de travail conteneurisées tout en offrant un modèle de distribution de système d'exploitation déclaratif. Le projet se distingue en agissant comme un hôte de conteneurs pour machines virtuelles et un OS invité pour le confidential computing, lui permettant de s'exécuter au sein d'environnements d'exécution isolés matériellement comme Intel TDX. Il implémente une base de calcul de confiance minimale en isolant les opérations dangereuses de bas niveau et sépare les mécanismes fondamentaux du noyau des implémentations de politiques spécifiques. Le système couvre un large éventail de capacités, incluant la gestion de la mémoire physique et virtuelle, le multi-processing symétrique et l'abstraction matérielle pour diverses architectures CPU. Il inclut également le support pour les runtimes de conteneurs sécurisés, un ensemble complet de primitives réseau et socket, ainsi qu'une toolchain spécialisée pour la compilation et l'émulation du noyau. Le projet prend en charge le déploiement multi-architecture sur les plateformes x86-64, RISC-V 64 et LoongArch 64.

Ce projet est une extension IDE pour la plateforme IntelliJ qui fournit un support linguistique pour Go. Il intègre les outils de développement Go dans les IDE JetBrains pour faciliter l'écriture, l'organisation et l'analyse du code source. Le plugin permet la transformation du code source Go en binaires exécutables en gérant les processus de build et en exécutant le compilateur standard. Il inclut également des utilitaires pour configurer le kit de développement logiciel (SDK) Go et générer des fichiers d'application et de bibliothèque initiaux pour amorcer les structures de projet. La boîte à outils fournit une analyse de code statique via la coloration syntaxique et un moteur de complétion conscient des types pour des suggestions de symboles automatisées. Il aide davantage à la navigation en indexant les symboles du projet, permettant aux utilisateurs de sauter entre les définitions de types et les déclarations à travers les fichiers du projet et la bibliothèque standard.

This project is a static analysis tool and linter for Elixir designed to enforce a unified visual structure across codebases. It serves as a specification for code formatting, naming conventions, and documentation standards. The tool provides a standardized system for casing and prefixes used in files, functions, and variables. It also establishes guidelines for formatting module and function descriptions to ensure consistent technical documentation. The project covers a broad range of code quality areas, including the organization of module layouts, the implementation of commenting patterns

Cette boîte à outils fournit une suite d'outils, de modèles et de directives pour préparer les documents d'enregistrement de droits d'auteur de logiciels requis par les autorités chinoises. Elle automatise la création des dépôts légaux nécessaires et de la documentation technique pour faciliter l'enregistrement des droits d'auteur de logiciels au sein du système réglementaire chinois. Le système inclut un calculateur de métriques de code pour extraire des données quantitatives et le nombre de lignes des fichiers sources pour les formulaires de demande. Il dispose également d'une liste de contrôle de conformité légale et d'utilitaires de vérification pour s'assurer que les documents soumis respectent les exigences officielles de formatage, de pagination et d'en-tête. Le projet couvre l'automatisation de documents via des modèles pour les manuels d'utilisation et les spécifications de conception, ainsi que le mappage de matériel pour identifier les exigences de documentation spécifiques basées sur les types de demandeurs.

lua-language-server est un outil d'analyse statique et un vérificateur de types pour le langage Lua qui implémente le Language Server Protocol. Il fournit un système pour détecter les incompatibilités de types, le code inutilisé et les erreurs logiques dans les fichiers source. Le projet dispose d'un système de types basé sur l'inférence qui déduit les types de variables et prend en charge des annotations optionnelles et des méta-fichiers pour appliquer la sécurité des types. Il permet la définition de types personnalisés et de signatures de fonctions, incluant la prise en charge des surcharges et des contrôles de visibilité des membres. Le serveur fournit un large ensemble de capacités IDE, incluant l'autocomplétion de code en temps réel, le refactoring de symboles et la navigation vers les définitions et implémentations. Il inclut un formateur de code et un générateur de documentation qui extrait les symboles et annotations pour produire des fichiers Markdown et JSON. Le serveur peut être construit à partir de la source et configuré pour correspondre à des versions de langage et environnements d'exécution spécifiques.

ccls is a language server providing code completion, navigation, and semantic analysis for C and C++ projects. It focuses on the indexing and navigation of C-family codebases, enabling users to trace function calls and class hierarchies within a text editor. The project is designed for large scale project indexing, employing parallel source scanning to process massive source trees. It maintains a global symbol index that supports incremental updates as files are saved to disk, ensuring cross-references and symbol lookups remain current. The server covers a range of static code analysis workf

This project provides a collection of coding standard specifications, style guides, and configuration assets used to define automated rules for static code analysis in Ruby. It serves as a centralized set of RuboCop configurations and static analysis rules to ensure consistent syntax and idiomatic usage across a codebase. The project establishes a comprehensive Ruby style guide that defines naming conventions, indentation, and structural requirements. It utilizes a pluggable linting engine to enforce these standards through a defined set of patterns and constraints. The capability surface co

scss-lint is a static analysis tool and configurable style validator for SCSS stylesheets. It identifies syntax errors and enforces coding style consistency in CSS preprocessor files before they are compiled. The project provides an extensibility system for loading custom linting rules from local directories or external libraries. It allows for the definition of project-specific style standards and supports the creation of baseline configurations to facilitate incremental code cleanup. The tool includes capabilities for source control management hook integration and source preprocessing via

Code Connect is a design system integration tool that bridges the gap between codebase component definitions and design software. It functions as a synchronization utility that surfaces production-ready code snippets and implementation details directly within design environments, establishing a single source of truth for interface elements. The tool distinguishes itself by using a schema-based, declarative approach to map code components to design assets. By parsing source code to extract component definitions and property configurations, it ensures that the code snippets displayed to designe