Llvm HsHaskell bindings for LLVM
Stars: ✭ 370 (+1221.43%)
AliveAlive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (+628.57%)
CodegenExperimental wrapper over LLVM for generating and compiling code at run-time.
Stars: ✭ 362 (+1192.86%)
verificarloA tool for debugging and assessing floating point precision and reproducibility.
Stars: ✭ 51 (+82.14%)
DecompComponents of a decompilation pipeline.
Stars: ✭ 343 (+1125%)
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (+610.71%)
BfcAn industrial-grade brainfuck compiler
Stars: ✭ 340 (+1114.29%)
juce faustllvmJUCE Module for the libfaust JIT compiler
Stars: ✭ 32 (+14.29%)
minilibA c standard system library with a focus on size, headeronly, "singlefile", intended for static linking. 187 Bytes for "Hello World"(regular elf), compiled with the standard gcc toolchain.
Stars: ✭ 29 (+3.57%)
Llvm DD bindings for LLVM
Stars: ✭ 50 (+78.57%)
LhcThe LLVM LHC Haskell Optimization System
Stars: ✭ 188 (+571.43%)
Speedy.jsAccelerate JavaScript Applications by Compiling to WebAssembly
Stars: ✭ 300 (+971.43%)
LLVMTemplateLLVM + Swift template Xcode project
Stars: ✭ 12 (-57.14%)
JlangJLang: Ahead-of-time compilation of Java programs to LLVM
Stars: ✭ 186 (+564.29%)
ccrawlclang-based search engine for C/C++ data structures, classes, prototypes & macros
Stars: ✭ 82 (+192.86%)
YansollvmYet Another Not So Obfuscated LLVM
Stars: ✭ 180 (+542.86%)
neo-cYet another modern compiler. It is also C compiler. Using LLVM wih boehmGC
Stars: ✭ 72 (+157.14%)
Llvm DemoA simple example of how LLVM can be used to gather static or dynamic facts about a program.
Stars: ✭ 48 (+71.43%)
AliveInLeanFormally verified implementation of Alive in Lean
Stars: ✭ 30 (+7.14%)
Llvm Guide ZhUser Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)
Stars: ✭ 180 (+542.86%)
docDesign documents related to the decompilation pipeline.
Stars: ✭ 23 (-17.86%)
movForthLLVM frontend for the Forth Language
Stars: ✭ 71 (+153.57%)
Leekscript V2A dynamically typed, compiled just-in-time programming language used in Leek Wars' AIs
Stars: ✭ 46 (+64.29%)
RellumeLift x86-64 to performant LLVM IR
Stars: ✭ 45 (+60.71%)
llvm-brainfuckBrainfuck compiler based on LLVM API
Stars: ✭ 27 (-3.57%)
StoatSTatic (LLVM) Object file Analysis Tool
Stars: ✭ 44 (+57.14%)
snowstarHere lies the code for the Snow* programming language, currently being rewritten.
Stars: ✭ 31 (+10.71%)
FastLuaLua trace JIT compiler using LLVM-C
Stars: ✭ 22 (-21.43%)
Llvm2graphmlExplore LLVM Bitcode interactively using a graph database
Stars: ✭ 44 (+57.14%)
cosmixA Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
Stars: ✭ 22 (-21.43%)
Sundials.jlJulia interface to Sundials, including a nonlinear solver (KINSOL), ODE's (CVODE and ARKODE), and DAE's (IDA) in a SciML scientific machine learning enabled manner
Stars: ✭ 167 (+496.43%)
suicideLLVM pass that detects one undefined behavior, and emits code to delete your hard drive
Stars: ✭ 33 (+17.86%)
DomtresatDominator Tree LLVM Pass to Test Satisfiability
Stars: ✭ 42 (+50%)
VistThe Vist programming language
Stars: ✭ 16 (-42.86%)
ShellvmA collection of LLVM transform and analysis passes to write shellcode in regular C
Stars: ✭ 170 (+507.14%)
core-reviewScripts, tools & info for doing Bitcoin Core development and code review
Stars: ✭ 78 (+178.57%)
LLVM.jlJulia wrapper for the LLVM C API
Stars: ✭ 90 (+221.43%)
Compile To WebDiscover what languages can be compiled to Web Assembly
Stars: ✭ 164 (+485.71%)
docker-openglMulti-Arch Docker - Mesa 3D OpenGL Software Rendering (Gallium) - LLVMpipe, and OpenSWR Drivers
Stars: ✭ 68 (+142.86%)
cereCERE: Codelet Extractor and REplayer
Stars: ✭ 27 (-3.57%)
JitfromscratchExample project from my talks in the LLVM Social Berlin and C++ User Group
Stars: ✭ 158 (+464.29%)
TinygoGo compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
Stars: ✭ 9,068 (+32285.71%)
pranaOSA unix operating system written from scratch in c that gives support for arm, x86
Stars: ✭ 138 (+392.86%)
FrameOfReferenceC++ library to pack and unpack vectors of integers having a small range of values using a technique called Frame of Reference
Stars: ✭ 36 (+28.57%)
Researchnote通过issue和README来记录日常学习研究笔记 关注 机器学习系统,深度学习, LLVM,性能剖视, Linux操作系统内核 话题 关注 C/C++. JAVA. Python. Golang. Chisel. 编程语言话题 ( Writing Blogs using github issue and markdown! (inculding Machine Learning algs and system, LLVM, Linux kernel, java, python, c++, golang)
Stars: ✭ 41 (+46.43%)
LlvmFork of the LLVM Compiler Infrastructure
Stars: ✭ 155 (+453.57%)
Llvm To SnesLLVM IR → WLA DX (ASM 65c816) → SNES Rom
Stars: ✭ 39 (+39.29%)
clamStatic Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 180 (+542.86%)
jingle🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
Stars: ✭ 34 (+21.43%)
dr checker 4 linuxPort of "DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers" to Clang/LLVM 10 and Linux Kernel
Stars: ✭ 34 (+21.43%)
joernOpen-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs
Stars: ✭ 968 (+3357.14%)
compiler labSome toy labs for compiler course
Stars: ✭ 49 (+75%)