msaroufim / C-compiler-optimizations
Description of commonly done compiler optimizations in C
☆44Updated 2 years ago
Alternatives and similar repositories for C-compiler-optimizations:
Users that are interested in C-compiler-optimizations are comparing it to the libraries listed below
- CLTK - OpenCL ToolKit☆34Updated 3 years ago
- Source code and obtained results for "Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants"☆15Updated 7 years ago
- book for Halide language programming☆13Updated 3 years ago
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆49Updated 5 years ago
- The LOOM IR instrumentation framework☆19Updated 9 months ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Updated 6 months ago
- A C++ performance analyzing and testing framework on Android and Linux platforms.☆47Updated 5 months ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆38Updated 4 years ago
- Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16☆16Updated 8 years ago
- A C++ expression -> x86 JIT☆18Updated 7 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- minimal instruction set and assembler/compiler for "Hello World" execution☆114Updated 4 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆43Updated 4 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
- Library wrapper and system-level tracing utilities☆46Updated 7 years ago
- SQLGitHub — Managing GitHub organization made easier☆39Updated 6 years ago
- Microkernel-based system for heterogeneous manycores☆107Updated 4 years ago
- Homework 3 for Introduction to Operating Systems, Fall 2015☆7Updated 9 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Cat System Workshop is a regular meet-up focusing on “system software”. We would like to gather all developers to share their experience …☆51Updated 5 years ago
- a bare metal example with a simple printf implementation for RPi Zero☆13Updated 3 years ago
- Minimal tool for measuring cost of mode switch☆15Updated 3 years ago
- ARM programs to illustrate tutorials☆41Updated 9 years ago
- A simple userspace program to interact with Linux KVM☆23Updated last year
- ☆9Updated 7 years ago
- LLVM Linker for Mobile Computing☆74Updated 8 years ago
- JIT-accelerated RISC-V instruction set simulator☆31Updated last year
- GNU Superoptimizer Version 2☆25Updated 3 years ago
- A self-healing FreeRTOS based on ARM TrustZone☆17Updated 8 months ago
- System&Network Administration Homework notes☆5Updated 8 years ago