msaroufim / C-compiler-optimizations
Description of commonly done compiler optimizations in C
☆43Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for C-compiler-optimizations
- A C++ performance analyzing and testing framework on Android and Linux platforms.☆47Updated 3 months ago
- book for Halide language programming☆13Updated 3 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆37Updated 3 years ago
- The LOOM IR instrumentation framework☆19Updated 6 months ago
- Source code and obtained results for "Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants"☆15Updated 6 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- CLTK - OpenCL ToolKit☆34Updated 3 years ago
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆48Updated 5 years ago
- Homework 3 for Introduction to Operating Systems, Fall 2015☆7Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- a bare metal example with a simple printf implementation for RPi Zero☆13Updated 3 years ago
- SQLGitHub — Managing GitHub organization made easier☆39Updated 6 years ago
- minimal instruction set and assembler/compiler for "Hello World" execution☆114Updated 3 years ago
- Universal Number Library☆40Updated 6 years ago
- ARM programs to illustrate tutorials☆41Updated 9 years ago
- A C++ expression -> x86 JIT☆18Updated 7 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Library wrapper and system-level tracing utilities☆44Updated 7 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆42Updated 3 years ago
- Lightweight and performant dynamic binary translation for RISC–V code on x86–64☆56Updated 3 years ago
- LLVM Linker for Mobile Computing☆73Updated 8 years ago
- A simple but powerful DSL for charset/encoding conversion and transformation, pure C implementation with no extra dependencies☆53Updated last year
- Minimal tool for measuring cost of mode switch☆15Updated 3 years ago
- The CompilerTools package, part of the High Performance Scripting project at Intel Labs☆30Updated 2 years ago
- A binding of the physics engine Chipmunk for Julia☆10Updated 9 years ago
- receive waiting status code & judge them in sandbox with cgroup☆12Updated 4 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- Ruby-like high-performance script programming language with JIT compiler☆89Updated 8 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- JIT-accelerated RISC-V instruction set simulator☆31Updated 11 months ago