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

Dieses Projekt ist ein JavaScript-Styleguide und Node.js-Coding-Standard, der darauf ausgelegt ist, die Erstellung von konsistentem, wartbarem und lesbarem Code sicherzustellen. Er dient als umfassende Referenz für Namenskonventionen, Formatierung und Architekturmuster. Das Projekt bietet eine Linting-Konfigurationsvorlage, die die automatische Durchsetzung dieser Standards ermöglicht. Dies umfasst vordefinierte Linting-Presets und eine Basis von Regeln, die für Logikprüfungen und automatische Formatierungen über eine Codebasis hinweg verwendet werden. Die Richtlinien decken ein breites Spektrum an Standardisierungsfunktionen ab, einschließlich Code- und Dateiformatierung, der Implementierung spezifischer Coding-Patterns und der Definition von Namenskonventionen für Bezeichner. Diese Standards werden durch automatisierte Linting-Konfigurationen angewendet, um die Qualität in Entwicklungsworkflows aufrechtzuerhalten.

ZLS ist ein Language-Server für die Sprache Zig, der das Language-Server-Protokoll implementiert, um IDE-ähnliche Intelligenz bereitzustellen. Er fungiert als Code-Intelligenz-Provider, statisches Code-Analyse-Tool und Engine für automatisierte Refactorings für Zig-Projekte. Der Server integriert sich direkt in die Zig-Compiler-Toolchain, um präzise Typinformationen abzuleiten und semantische Analysen durchzuführen. Er nutzt diese Integration, um Echtzeit-Kompilierungsfehler als Editor-Diagnosen anzuzeigen und semantisches Syntax-Highlighting basierend auf aufgelösten Typen statt auf Regex-Mustern bereitzustellen. Das Projekt deckt ein breites Spektrum an Entwicklungsfunktionen ab, einschließlich Symbolnavigation, Code-Vervollständigung und Inlay-Hints. Es bietet Refactoring-Utilities für die Umbenennung von Symbolen, Quellcode-Formatierung und Import-Organisation. Zudem verwaltet es die Build-Automatisierung, einschließlich automatischer Builds beim Speichern und Dependency-Fetching. Der Server unterstützt Konfigurationsvalidierung mittels JSON-Schema und integriert sich in Editoren wie Sublime Text und 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

Dieses Projekt ist eine IDE-Erweiterung für die IntelliJ-Plattform, die Sprachunterstützung für Go bietet. Sie integriert Go-Entwicklungstools in JetBrains-IDEs, um das Schreiben, Organisieren und Analysieren von Quellcode zu erleichtern. Das Plugin ermöglicht die Transformation von Go-Quellcode in ausführbare Binärdateien durch die Verwaltung von Build-Prozessen und die Ausführung des Standard-Compilers. Es enthält zudem Dienstprogramme zur Konfiguration des Go-Software-Development-Kits und zur Generierung initialer Anwendungs- und Bibliotheksdateien zum Bootstrapping von Projektstrukturen. Das Toolset bietet statische Codeanalyse durch Syntax-Highlighting und eine typbewusste Completion-Engine für automatisierte Symbolvorschläge. Es unterstützt die Navigation weiter durch die Indizierung von Projektsymbolen, was es Benutzern ermöglicht, zwischen Typdefinitionen und Deklarationen über Projektdateien und die Standardbibliothek hinweg zu springen.

Dieses Projekt ist ein statisches Analysetool und Linter für Elixir, das entwickelt wurde, um eine einheitliche visuelle Struktur über Codebasen hinweg durchzusetzen. Es dient als Spezifikation für Code-Formatierung, Namenskonventionen und Dokumentationsstandards. Das Tool bietet ein standardisiertes System für Casing und Präfixe, die in Dateien, Funktionen und Variablen verwendet werden. Es legt zudem Richtlinien für die Formatierung von Modul- und Funktionsbeschreibungen fest, um eine konsistente technische Dokumentation zu gewährleisten. Das Projekt deckt einen breiten Bereich der Codequalität ab, einschließlich der Organisation von Modullayouts, der Implementierung von Kommentar-Mustern und der Standardisierung von Test-Assertions. Es bietet zudem Anleitungen für idiomatische Sprachausdrücke und die Definition von Typspezifikationen.

Dieses Toolkit bietet eine Suite von Tools, Vorlagen und Richtlinien zur Erstellung von Dokumenten für die Software-Urheberrechtsregistrierung, die von chinesischen Behörden gefordert werden. Es automatisiert die Erstellung notwendiger rechtlicher Einreichungen und technischer Dokumentationen, um die Software-Urheberrechtsregistrierung innerhalb des chinesischen Regulierungssystems zu erleichtern. Das System enthält einen Code-Metrik-Rechner, um quantitative Daten und Zeilenzahlen aus Quelldateien für Antragsformulare zu extrahieren. Es verfügt zudem über eine Checkliste zur Einhaltung gesetzlicher Vorschriften und Verifizierungsdienstprogramme, um sicherzustellen, dass die Einreichungsmaterialien den offiziellen Formatierungs-, Paginierungs- und Header-Anforderungen entsprechen. Das Projekt deckt die Dokumentenautomatisierung durch Vorlagen für Benutzerhandbücher und Designspezifikationen sowie die Materialzuordnung ab, um spezifische Dokumentationsanforderungen basierend auf Antragstellertypen zu identifizieren.

lua-language-server ist ein statisches Analysetool und Typ-Checker für die Sprache Lua, der das Language Server Protocol implementiert. Er bietet ein System zur Erkennung von Typ-Diskrepanzen, ungenutztem Code und Logikfehlern in Quelldateien. Das Projekt bietet ein inferenzbasiertes Typsystem, das Variablentypen ableitet und optionale Annotationen sowie Meta-Dateien zur Durchsetzung von Typsicherheit unterstützt. Es ermöglicht die Definition benutzerdefinierter Typen und Funktionssignaturen, einschließlich Unterstützung für Overloads und Sichtbarkeitskontrollen für Member. Der Server bietet eine breite Palette an IDE-Funktionen, einschließlich Echtzeit-Code-Autocompletion, Symbol-Refactoring sowie Navigation zu Definitionen und Implementierungen. Er enthält einen Code-Formatter und einen Dokumentationsgenerator, der Symbole und Annotationen extrahiert, um Markdown- und JSON-Dateien zu produzieren. Der Server kann aus dem Quellcode gebaut und an spezifische Sprachversionen und Laufzeitumgebungen angepasst werden.

ccls ist ein Language Server, der Code-Vervollständigung, Navigation und semantische Analyse für C- und C++-Projekte bereitstellt. Er konzentriert sich auf die Indizierung und Navigation von C-basierten Codebasen und ermöglicht es Benutzern, Funktionsaufrufe und Klassenhierarchien innerhalb eines Texteditors nachzuverfolgen. Das Projekt ist für die Indizierung großer Projekte konzipiert und verwendet paralleles Source-Scanning, um massive Quellcode-Bäume zu verarbeiten. Es unterhält einen globalen Symbol-Index, der inkrementelle Updates unterstützt, während Dateien auf der Festplatte gespeichert werden, wodurch Querverweise und Symbol-Lookups aktuell bleiben. Der Server deckt eine Reihe von Workflows zur statischen Codeanalyse ab, einschließlich semantischem Highlighting und Hover-Diagnostik. Er bietet Funktionen für die Navigation von Code-Referenzen, das Management von Symbolhierarchien und die Durchführung von Refactoring-Aufgaben wie das Umbenennen von Symbolen über einen gesamten Workspace hinweg.

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

APKLab is an integrated development environment designed for Android reverse engineering and mobile application security analysis. It provides a comprehensive workbench that enables users to decompile, analyze, modify, and repackage mobile application binaries directly within a code editor. The platform distinguishes itself by combining static code analysis with dynamic instrumentation capabilities. It transforms compiled packages into readable source code and assembly logic, while simultaneously offering tools to inject runtime hooks, patch application behavior, and intercept encrypted netwo

Thonny is an integrated development environment designed for Python programming education and beginner-focused software development. It provides a simplified interface that allows users to write, execute, and debug code while receiving immediate feedback on syntax and logic. The environment distinguishes itself through a graphical debugging interface that visualizes the flow of execution and the state of variables step by step. It utilizes process-based isolation to keep the interface responsive during code execution and supports a modular plugin architecture that allows for the dynamic exten

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