Awesome GitHub RepositoriesExecution Models

Streamlit is a Python framework designed to transform data scripts into interactive web applications. It utilizes a reactive execution engine that automatically reruns scripts from top to bottom whenever a user interaction triggers a state change, ensuring the interface remains synchronized with the underlying data. By providing a declarative interface, it allows developers to build functional applications without requiring extensive knowledge of frontend web technologies. The framework distinguishes itself through an identity-based widget reconciliation system that persists user input across

This project is an NGINX module that embeds the Lua scripting language directly into the server environment. It functions as a request processor and response filter, enabling the execution of scripts to handle HTTP requests, generate dynamic content, and manage server behavior without external application calls. The module provides a shared memory dictionary and cache manager, allowing data to be stored and retrieved across all active worker processes. This capability supports the collection of high-performance server metrics and the synchronization of information across concurrent processes.

Flecs is a high-performance entity component system framework and data-oriented programming library. It serves as a simulation engine core and game engine architecture tool, decoupling state from behavior by separating entities, components, and systems. The framework features a runtime reflection layer for dynamic data inspection and a built-in scripting system for defining entity behavior without recompilation. It also includes a network interface and REST API for remote simulation administration and state querying. The library covers a broad surface of simulation capabilities, including ar

This project is an educational resource focused on Nginx architecture analysis and module development. It provides a structured approach to studying how the server handles traffic and how to customize core server behavior. The material covers C language systems programming for the purpose of creating custom server extensions. It guides the process of writing and integrating new modules into the server source code to implement specialized networking logic or custom protocols. The curriculum examines internal server components including memory pools, request processing chains, and the module-b

AFL++ is a coverage-guided fuzzing framework that discovers crashes and hangs in software by mutating inputs while tracking which code paths are exercised. It functions as both a fuzzing engine and a campaign manager, supporting targets with or without source code through compile-time instrumentation, dynamic binary instrumentation, and emulation. The framework includes tools for crash triage and analysis, test case minimization, and campaign deployment across local or distributed environments. The framework distinguishes itself through its breadth of instrumentation backends, allowing users

TypeSpec is a language for defining cloud API shapes and generating OpenAPI, JSON Schema, and client/server code from a single source of truth. It functions as a protocol-agnostic API designer that models REST, gRPC, and other API protocols using a unified, extensible syntax, with a decorator-based metadata system for attaching metadata, validation rules, and lifecycle visibility to API models and operations. The compiler produces OpenAPI 3.0 specifications and other artifacts, and the tool supports declaring API versions and tracking changes to models, properties, and operations across releas

MiniOB is an open-source educational relational database kernel designed for learning the internals of database systems. It implements a dual-engine storage architecture combining B+ Tree and LSM-Tree, supports SQL parsing and query execution, and provides transactional processing with multi-version concurrency control. The system communicates with clients using the MySQL wire protocol and includes a vector database extension for storing and querying high-dimensional vectors. The project distinguishes itself through its comprehensive coverage of core database concepts in a single, learnable c

هذا المشروع عبارة عن تحليل ودراسة مفصلة للكود المصدري لـ Nginx، مع التركيز على معمارية الخادم عالية الأداء وتدفقات استدعاء الدوال. يعمل كفحص تقني للتنفيذ الداخلي بلغة C المستخدم لبناء أنظمة شبكات عالية التزامن. يفكك المشروع الآليات الداخلية لخادم الويب، بما في ذلك نموذج السيد-العامل (Master-worker) متعدد العمليات، والإدخال/الإخراج غير المتزامن القائم على الأحداث، وتواصل المقابس غير المحظور. ويحلل دورة حياة معالجة الطلبات القائمة على المراحل، من مطابقة URI وتحليل الترويسات إلى توليد المحتوى النهائي. تغطي الدراسة مجموعة واسعة من الأنماط المعمارية، بما في ذلك تجميع الذاكرة القائم على الشرائح (Slab-based)، وتواصل العمليات المشترك عبر الذاكرة، وموازنة الحمل القائمة على المنبع (Upstream). كما يفحص تنفيذ آليات الوكيل العكسي (Reverse proxy)، واستراتيجيات التخزين المؤقت، ووحدات الأمان لحماية الموارد.

Nuke is a build automation system for defining software compilation and deployment pipelines using a strongly typed C# console application. It functions as a cross-platform build engine and pipeline orchestrator that treats build configurations as standard executable programs rather than static files. By leveraging a compiled language, the system provides type safety and IDE support for build script logic. This approach allows for the definition of automation and CI/CD pipelines using a professional programming language instead of YAML or shell scripts. The engine manages .NET project orches