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 este un framework Python de reverse engineering conceput pentru analiză binară, dezasamblare și modificare. Funcționează ca un framework de analiză binară care ridică codul mașină într-o reprezentare intermediară pentru a permite cercetarea de securitate independentă de platformă. Sistemul operează ca un motor de emulare binară și toolkit de modificare, permițând execuția codului binar într-un mediu virtual pentru a urmări schimbările de stare fără hardware nativ. Oferă instrumente pentru patching binar, pentru a actualiza și modifica fișiere binare brute pe mai multe arhitecturi CPU și formate executabile. Framework-ul acoperă capabilități pentru dezasamblare, ridicarea reprezentării intermediare și simplificarea semantică pentru a elimina ofuscarea binară. Include suport pentru parsarea formatelor binare și maparea memoriei pentru a urmări referințele și layout-ul în timpul analizei programelor compilate.

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