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 est un interpréteur WebAssembly conçu pour l'intégration dans des runtimes embarqués. Il permet l'exécution de logique binaire portable sur des microcontrôleurs et du matériel aux ressources limitées, offrant un support pour les modules qui utilisent le WebAssembly System Interface (WASI) pour interagir avec les ressources système. Le runtime utilise une interprétation de bytecode basée sur des registres et une répartition directe pour mapper les registres virtuels aux registres CPU physiques. Il inclut une interface d'appel hôte pour mapper les importations aux fonctions C et utilise une validation de module statique pour garantir que le bytecode suit les règles de spécification avant l'exécution. Le projet fournit une gestion des ressources via des limites d'allocation de mémoire linéaire et un comptage de gaz au niveau des instructions pour éviter les boucles infinies et l'épuisement du système. L'observabilité est gérée via le traçage d'exécution, la surveillance des flux et le profilage des opérations de l'interpréteur. Pour le développement et l'assurance qualité, le runtime inclut un REPL interactif et prend en charge le fuzzing guidé par la couverture.

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

Ce projet est un guide complet de préparation aux entretiens techniques et une base de connaissances en informatique. Il sert de ressource d'étude structurée conçue pour aider les ingénieurs logiciels à réviser les concepts d'ingénierie fondamentaux et à se préparer aux évaluations de codage professionnelles. Le dépôt se concentre sur un large éventail de domaines théoriques et pratiques, incluant des références détaillées sur l'architecture des applications mobiles et les fondamentaux des systèmes d'exploitation. Il fournit des matériaux sélectionnés sur les modèles d'architecture logicielle et l'analyse des protocoles réseau pour soutenir le développement professionnel. Le contenu couvre des capacités fondamentales telles que les structures de données et les algorithmes, la concurrence et le multithreading, et la gestion de la mémoire. Il inclut également des approfondissements sur l'architecture système, notamment la planification des processus, la communication inter-processus et l'optimisation du rendu UI.

AsmJit is a runtime machine code generator and JIT compiler backend that translates high-level definitions into executable processor instructions. It provides a unified instruction emission API and an executable memory manager to allocate and protect virtual memory pages across multiple CPU architectures. The library functions as an assembly engine for x86 and ARM, supporting cross-platform assembly generation through a unified backend. It enables the creation of optimized machine code for different CPUs while maintaining a single codebase. The project covers low-level system abstractions in

Janet est un langage de programmation dynamique basé sur Lisp présentant une machine virtuelle de bytecode basée sur des registres et un moteur de scripting intégrable. Il fonctionne comme un runtime de concurrence basé sur des fibres et inclut un moteur d'analyse basé sur des Parsing Expression Grammars (PEG). Le projet se distingue par sa capacité à être intégré dans des applications C ou C++ via une interface d'en-tête minimale. Il utilise un système de macros de style Lisp pour la transformation de code à la compilation et emploie l'héritage de table basé sur des prototypes pour un comportement orienté objet. Le runtime couvre un large ensemble de capacités, incluant la gestion d'IO asynchrone via une boucle d'événements non bloquante, l'interopérabilité de bibliothèque native via une interface de fonction étrangère (FFI) et un traitement de texte complet utilisant des grammaires PEG. Il fournit également des outils pour l'automatisation système, tels qu'une boucle read-eval-print (REPL), un système de module pour la résolution de symboles et des utilitaires pour la communication par socket réseau et la gestion du système de fichiers. L'environnement inclut des outils de diagnostic pour le débogage de l'exécution de bytecode et peut bundler le code source en exécutables binaires autonomes.