Awesome GitHub RepositoriesIntermediate Representation Analysis

This project is a multi-language compiler collection and cross-platform toolchain used to translate source code from various programming languages into optimized machine code for different hardware architectures. It provides a suite of tools including an optimizing compiler backend, a machine code generator, and a comprehensive runtime library suite that implements necessary execution environments and support functions. The system utilizes a multi-pass compilation pipeline and pluggable language front-ends to process source code into intermediate representations. It distinguishes itself throu

This project is a comprehensive functional programming curriculum and learning resource for Haskell. It provides sequenced educational paths and technical reference guides designed to take developers from beginner to advanced levels of proficiency. The project distinguishes itself through a deep focus on theoretical and technical foundations, offering detailed studies on type theory, category theory, and runtime internals. It includes a dedicated performance handbook for optimizing execution speed and memory management, as well as an ecosystem guide for managing development tools and editor c

Paddle-Lite is a deep learning inference engine and edge computing runtime designed to execute trained models on mobile and edge devices. It provides a hardware-accelerated inference framework and a decoupled runtime with a minimal binary footprint to operate in resource-constrained environments without third-party dependencies. The project includes a model quantization tool for reducing precision and size via static and dynamic quantization, as well as a computation graph optimizer. These tools reduce latency and memory usage by fusing operators and pruning the model intermediate representat

Static Analyzer for Solidity and Vyper

Miasm هو إطار عمل Python للهندسة العكسية مصمم لتحليل الملفات الثنائية (binary)، والتفكيك (disassembly)، والتعديل. يعمل كإطار عمل لتحليل الملفات الثنائية يقوم برفع كود الآلة إلى تمثيل وسيط لتمكين أبحاث الأمن المستقلة عن المنصة. يعمل النظام كمحرك محاكاة ثنائي ومجموعة أدوات تعديل، مما يسمح بتنفيذ الكود الثنائي في بيئة افتراضية لتتبع تغييرات الحالة دون الحاجة إلى أجهزة فعلية. ويوفر أدوات لتصحيح الملفات الثنائية (patching) لتحديث وتعديل الملفات الثنائية الخام عبر معماريات CPU وتنسيقات تنفيذية متعددة. يغطي إطار العمل قدرات التفكيك، ورفع التمثيل الوسيط، والتبسيط الدلالي لإزالة التعتيم الثنائي. كما يتضمن دعماً لتحليل تنسيق الملفات الثنائية وتعيين الذاكرة لتتبع المراجع والتخطيط أثناء تحليل البرامج المجمعة.

SVF is an open-source static program analysis framework and points-to analysis library that tracks memory references, variable aliases, and data dependencies across whole programs. The platform translates compiled intermediate code formats into unified internal representations, constructing constraint graphs, call graphs, and control-flow graphs to model interprocedural execution behavior and memory state. The framework incorporates specialized engines for flow-sensitive, flow-insensitive, and context-sensitive pointer analysis alongside sparse value-flow graph generation. It features memory

Grin is a compiler infrastructure designed for the translation and optimization of high-level functional languages. It functions as a graph-reduction compiler, transforming source code into a standardized intermediate representation that facilitates whole-program analysis and efficient execution across diverse hardware architectures. The project distinguishes itself through a modular backend infrastructure that separates intermediate representation management from target-specific code generation. By utilizing graph-based transformations, the system performs advanced optimizations such as valu