Awesome GitHub RepositoriesStatic Code Analysis

This project is a comprehensive collection of Python programming education materials, including tutorials, exercises, and curated code samples. It serves as a learning curriculum and software engineering toolkit, utilizing Jupyter Notebooks to combine executable code with descriptive educational text. The repository provides practical implementation guides for building large language model applications, such as retrieval-augmented generation systems, stateful AI agents, and machine learning workflows. It distinguishes itself by offering a structured approach to agentic coding workflows, cover

यह प्रोजेक्ट एक JavaScript स्टाइल गाइड और Node.js कोडिंग स्टैंडर्ड है जिसे सुसंगत, बनाए रखने योग्य और पठनीय कोड बनाने के लिए डिज़ाइन किया गया है। यह नामकरण सम्मेलनों, फॉर्मेटिंग और आर्किटेक्चरल पैटर्न के लिए एक व्यापक संदर्भ के रूप में कार्य करता है। यह प्रोजेक्ट एक लिंटिंग कॉन्फ़िगरेशन टेम्प्लेट प्रदान करता है जो इन मानकों के स्वचालित प्रवर्तन की अनुमति देता है। इसमें पूर्व-निर्धारित लिंटिंग प्रीसेट और नियमों का एक आधार शामिल है जिसका उपयोग कोडबेस में लॉजिक चेक और स्वचालित फॉर्मेटिंग करने के लिए किया जाता है। ये दिशानिर्देश मानकीकरण क्षमताओं की एक विस्तृत श्रृंखला को कवर करते हैं, जिसमें कोड और फाइल फॉर्मेटिंग, विशिष्ट कोडिंग पैटर्न का कार्यान्वयन, और आइडेंटिफ़ायर के लिए नामकरण सम्मेलनों की परिभाषा शामिल है। विकास वर्कफ़्लो में गुणवत्ता बनाए रखने के लिए इन मानकों को स्वचालित लिंटिंग कॉन्फ़िगरेशन के माध्यम से लागू किया जाता है।

ZLS, Zig भाषा के लिए एक लैंग्वेज सर्वर है जो IDE जैसी इंटेलिजेंस प्रदान करने के लिए Language Server Protocol को लागू करता है। यह Zig प्रोजेक्ट्स के लिए कोड इंटेलिजेंस प्रोवाइडर, स्टेटिक कोड एनालिसिस टूल और ऑटोमेटेड रिफैक्टरिंग इंजन के रूप में कार्य करता है। यह सर्वर सटीक टाइप जानकारी प्राप्त करने और सिमेंटिक एनालिसिस करने के लिए सीधे Zig कंपाइलर टूलचेन के साथ इंटीग्रेट होता है। यह इस इंटीग्रेशन का उपयोग एडिटर डायग्नोस्टिक्स के रूप में रीयल-टाइम कंपाइलेशन एरर्स को दिखाने और रेगुलर एक्सप्रेशन पैटर्न के बजाय रिज़ॉल्व किए गए टाइप्स के आधार पर सिमेंटिक सिंटैक्स हाइलाइटिंग प्रदान करने के लिए करता है। यह प्रोजेक्ट सिंबल नेविगेशन, कोड कंप्लीशन और इनले हिंट्स सहित विकास क्षमताओं की एक विस्तृत श्रृंखला को कवर करता है। यह सिंबल रीनेमिंग, सोर्स कोड फॉर्मेटिंग और इम्पोर्ट ऑर्गनाइजेशन के लिए रिफैक्टरिंग यूटिलिटीज प्रदान करता है। इसके अतिरिक्त, यह सेव करने पर ऑटोमैटिक बिल्ड और डिपेंडेंसी फेचिंग सहित बिल्ड ऑटोमेशन को मैनेज करता है। सर्वर JSON Schema के माध्यम से कॉन्फ़िगरेशन वैलिडेशन का समर्थन करता है और Sublime Text तथा JetBrains IDEs जैसे एडिटर्स के साथ इंटीग्रेट होता है।

Asterinas is a memory-safe operating system kernel designed to prevent data races and memory corruption. It functions as a Linux-ABI compatible kernel, enabling the execution of existing Linux binaries and container workloads while providing a declarative operating system distribution model. The project distinguishes itself by acting as a virtual machine container host and a confidential computing guest OS, allowing it to run within hardware-isolated Trusted Execution Environments such as Intel TDX. It implements a minimal trusted computing base by isolating unsafe low-level operations and se

This project is an IDE extension for the IntelliJ Platform that provides language support for Go. It integrates Go development tools into JetBrains IDEs to facilitate writing, organizing, and analyzing source code. The plugin enables the transformation of Go source code into executable binaries by managing build processes and executing the standard compiler. It also includes utilities for configuring the Go software development kit and generating initial application and library files to bootstrap project structures. The toolset provides static code analysis through syntax highlighting and a

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

This toolkit provides a suite of tools, templates, and guidelines for preparing software copyright registration documents required by Chinese authorities. It automates the creation of necessary legal filings and technical documentation to facilitate software copyright registration within the Chinese regulatory system. The system includes a code metric calculator to extract quantitative data and line counts from source files for application forms. It also features a legal compliance checklist and verification utilities to ensure submission materials adhere to official formatting, pagination, a

lua-language-server is a static analysis tool and type checker for the Lua language that implements the Language Server Protocol. It provides a system for detecting type mismatches, unused code, and logic errors in source files. The project features an inference-based type system that deduces variable types and supports optional annotations and meta files to enforce type safety. It allows for the definition of custom types and function signatures, including support for overloads and member visibility controls. The server provides a broad set of IDE capabilities, including real-time code auto

ccls एक लैंग्वेज सर्वर है जो C और C++ प्रोजेक्ट्स के लिए कोड कम्प्लीशन, नेविगेशन और सिमेंटिक एनालिसिस प्रदान करता है। यह C-फैमिली कोडबेस के इंडेक्सिंग और नेविगेशन पर केंद्रित है, जो उपयोगकर्ताओं को टेक्स्ट एडिटर के भीतर फंक्शन कॉल्स और क्लास पदानुक्रमों को ट्रेस करने में सक्षम बनाता है। यह प्रोजेक्ट बड़े पैमाने पर प्रोजेक्ट इंडेक्सिंग के लिए डिज़ाइन किया गया है, जो विशाल सोर्स ट्रीज़ को प्रोसेस करने के लिए समानांतर सोर्स स्कैनिंग का उपयोग करता है। यह एक ग्लोबल सिंबल इंडेक्स बनाए रखता है जो फाइलों के डिस्क पर सेव होने पर वृद्धिशील अपडेट्स का समर्थन करता है, यह सुनिश्चित करता है कि क्रॉस-रेफरेंस और सिंबल लुकअप्स वर्तमान रहें। यह सर्वर सिमेंटिक हाइलाइटिंग और होवर डायग्नोस्टिक्स सहित स्टेटिक कोड एनालिसिस वर्कफ़्लो की एक श्रृंखला को कवर करता है। यह कोड रेफरेंस को नेविगेट करने, सिंबल पदानुक्रमों को मैनेज करने, और वर्कस्पेस में सिंबल्स का नाम बदलने जैसे रिफैक्टरिंग कार्य करने की क्षमताएं प्रदान करता है।

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

The Kotlin Language Server is a static code analysis tool that provides real-time intelligence for Kotlin projects. By implementing the Language Server Protocol, it enables developers to access professional-grade development features, such as code completion, diagnostics, and navigation, within any compatible text editor. The project distinguishes itself through an architecture that maintains persistent, in-memory compiler instances to facilitate rapid, incremental recompilation during active development. It supports remote hosting via TCP, allowing editors to connect to centralized analysis

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

This project is a backend service that implements the Language Server Protocol to provide IDE-integrated intelligence for PHP development. It functions as a static analysis tool that parses source code to enable advanced editor features, including autocompletion, symbol navigation, and definition resolution. The server distinguishes itself through its ability to operate within isolated containers and remote development environments. By utilizing a virtual file system abstraction and flexible communication protocols, it maintains project-wide symbol indexing and code analysis even when files a