Awesome GitHub RepositoriesRegister-Based Bytecode

Lua is an embeddable scripting language written in ISO C, designed to be integrated into host applications for runtime customization. It provides a C-based scripting engine and a prototype-based object model that utilizes associative arrays and metatables to implement inheritance and complex data structures. The language features a cooperative multitasking system that manages concurrent execution threads via coroutines and an incremental garbage collector for automatic memory management. It includes a safe code sandbox to isolate global state and run untrusted scripts within a protected envir

Wasm3 هو مترجم WebAssembly مصمم لتكامل وقت التشغيل المدمج. يتيح تنفيذ المنطق الثنائي المحمول على المتحكمات الدقيقة والأجهزة محدودة الموارد، ويوفر دعماً للوحدات التي تستخدم واجهة نظام WebAssembly للتفاعل مع موارد النظام. يستخدم وقت التشغيل ترجمة بايت كود قائمة على السجلات وإرسالاً مباشراً (direct-threaded dispatch) لربط السجلات الافتراضية بسجلات CPU الفيزيائية. يتضمن واجهة استدعاء مضيف لربط الاستيرادات بدوال C ويستخدم التحقق من الوحدات الثابت لضمان اتباع البايت كود لقواعد المواصفات قبل التنفيذ. يوفر المشروع إدارة الموارد من خلال حدود تخصيص الذاكرة الخطية وقياس الغاز على مستوى التعليمات لمنع الحلقات اللانهائية واستنفاد النظام. تتم معالجة الملاحظة عبر تتبع التنفيذ، ومراقبة التدفق، وتوصيف عمليات المترجم. للتطوير وضمان الجودة، يتضمن وقت التشغيل REPL تفاعلياً ويدعم التمويه الموجه بالتغطية (coverage-guided fuzzing).

Smali is a two-way binary translation toolset designed to convert Dalvik bytecode to human-readable assembly and back again. It provides a mechanism for the disassembly and assembly of executable files used in virtual machine environments. The project enables the modification of compiled Android application logic by transforming binary files into editable assembly and rebuilding them. It is used for reverse engineering, malware analysis, and the study of low-level instructions to identify program behavior or security flaws. The toolkit covers binary construction through smali code assembly a

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

mruby is a lightweight Ruby interpreter designed to be embedded into C applications. It compiles Ruby source code into a compact, platform-independent bytecode that executes on a register-based virtual machine, and exposes a stable C API for host programs to initialize the interpreter, load bytecode, and invoke Ruby methods at runtime. The interpreter distinguishes itself through a tightly coupled parser and compiler that performs lexical analysis, syntax parsing, and bytecode generation in a single pass without constructing an intermediate AST, minimizing memory overhead. It also includes a

هذا المشروع هو دليل شامل للتحضير للمقابلات التقنية وقاعدة معرفية لعلوم الحاسب. يعمل كمورد دراسي مهيكل مصمم لمساعدة مهندسي البرمجيات على مراجعة مفاهيم الهندسة الأساسية والتحضير لتقييمات البرمجة المهنية. يركز المستودع على مجموعة واسعة من المجالات النظرية والعملية، بما في ذلك مراجع مفصلة لهندسة تطبيقات الهاتف المحمول وأساسيات أنظمة التشغيل. ويوفر مواد منسقة حول أنماط هندسة البرمجيات وتحليل بروتوكولات الشبكة لدعم التطوير المهني. يغطي المحتوى قدرات أساسية مثل هياكل البيانات والخوارزميات، والتزامن وتعدد الخيوط، وإدارة الذاكرة. كما يتضمن تعمقاً في هندسة النظام، بما في ذلك جدولة العمليات، والاتصال بين العمليات، وتحسين عرض واجهة المستخدم.

AsmJit هو مولد كود آلة في وقت التشغيل (Runtime) وخلفية مترجم JIT تترجم التعريفات عالية المستوى إلى تعليمات معالج قابلة للتنفيذ. يوفر واجهة برمجة تطبيقات موحدة لإصدار التعليمات ومديراً للذاكرة القابلة للتنفيذ لتخصيص وحماية صفحات الذاكرة الافتراضية عبر بنيات CPU متعددة. تعمل المكتبة كمحرك تجميع لـ x86 وARM، وتدعم توليد التجميع عبر المنصات من خلال خلفية موحدة. تتيح إنشاء كود آلة محسن لمعالجات مختلفة مع الحفاظ على قاعدة كود واحدة. يغطي المشروع تجريدات النظام منخفضة المستوى بما في ذلك تخصيص السجلات، واتفاقيات الاستدعاء الخاصة بالبنية، والأدوات الثنائية الديناميكية. يدير ترجمة التمثيلات الوسيطة إلى كود ثنائي باستخدام حل الإزاحة القائم على التسميات والإصدار المباشر إلى المخزن المؤقت.

Janet هي لغة برمجة ديناميكية قائمة على Lisp تتميز بآلة افتراضية bytecode قائمة على السجلات ومحرك برمجة نصية قابل للتضمين. تعمل كوقت تشغيل تزامن قائم على الألياف (fiber) وتتضمن محرك تحليل قائماً على قواعد التعبير التحليلي (Parsing Expression Grammars). يتميز المشروع بقدرته على الاندماج في تطبيقات C أو C++ عبر واجهة رأس (header) بسيطة. يستخدم نظام ماكرو على طراز Lisp لتحويل الكود في وقت التجميع ويستخدم وراثة الجدول القائمة على النموذج (prototype-based) للسلوك الموجه للكائنات. يغطي وقت التشغيل مجموعة واسعة من القدرات، بما في ذلك إدارة IO غير المتزامنة من خلال حلقة أحداث غير محظورة، وتوافقية المكتبة الأصلية عبر واجهة دالة خارجية، ومعالجة نصوص شاملة باستخدام قواعد PEG. كما يوفر أدوات لأتمتة النظام، مثل حلقة القراءة-التقييم-الطباعة (REPL)، ونظام وحدة لحل الرموز، وأدوات مساعدة لاتصال مقبس الشبكة وإدارة نظام الملفات. تتضمن البيئة أدوات تشخيص لتصحيح أخطاء تنفيذ الـ bytecode ويمكنها تجميع كود المصدر في ملفات تنفيذية ثنائية مستقلة.