msaroufim / C-compiler-optimizationsLinks
Description of commonly done compiler optimizations in C
☆46Updated 3 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
Sorting:
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆40Updated 5 years ago
- book for Halide language programming☆13Updated 4 years ago
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆11Updated 7 years ago
- A C++ performance analyzing and testing framework on Android and Linux platforms.☆48Updated last year
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆50Updated 6 years ago
- CLTK - OpenCL ToolKit☆34Updated 4 years ago
- minimal instruction set and assembler/compiler for "Hello World" execution☆115Updated 5 years ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆44Updated 5 years ago
- Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16☆16Updated 9 years ago
- a bare metal example with a simple printf implementation for RPi Zero☆13Updated 5 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 5 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆132Updated 5 years ago
- The LOOM IR instrumentation framework☆19Updated last year
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Lightweight and performant dynamic binary translation for RISC–V code on x86–64☆61Updated 4 years ago
- Competitive Programming 2, 2016 Spring☆22Updated 9 years ago
- Codezero Microkernel☆111Updated last week
- Source code and obtained results for "Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants"☆15Updated 8 years ago
- Codeplay's tutorial LLVM LEG backend - as presented at the 2014 LLVM Developers' Meeting in San Jose.☆42Updated 11 years ago
- SQLGitHub — Managing GitHub organization made easier☆39Updated 7 years ago
- LLVM Linker for Mobile Computing☆82Updated 9 years ago
- A simple but powerful DSL for charset/encoding conversion and transformation, pure C implementation with no extra dependencies☆53Updated 3 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 6 years ago
- ARM programs to illustrate tutorials☆42Updated 10 years ago
- A simple userspace program to interact with Linux KVM☆23Updated 2 years ago
- JIT-accelerated RISC-V instruction set simulator☆37Updated 2 years ago
- A self-healing FreeRTOS based on ARM TrustZone☆17Updated last year
- ☆22Updated 2 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Updated last year