vicisManipulate LLVM-IR in Pure Rust
Stars: ✭ 194 (+870%)
RellicRellic produces goto-free C output from LLVM bitcode
Stars: ✭ 234 (+1070%)
DachsDachs; A Doggy 🐶 Programming Language
Stars: ✭ 82 (+310%)
LesmaThe Lesma Programming Language
Stars: ✭ 14 (-30%)
SymbioticSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+960%)
llrlAn experimental Lisp-like programming language
Stars: ✭ 126 (+530%)
ChigraphA visual systems language for beginners compiled using LLVM
Stars: ✭ 247 (+1135%)
azulaA fast, statically typed compiled language
Stars: ✭ 25 (+25%)
Spirv Llvm TranslatorA tool and a library for bi-directional translation between SPIR-V and LLVM IR
Stars: ✭ 223 (+1015%)
clangbuilderBuilding Clang ♡ Utility and Environment
Stars: ✭ 101 (+405%)
NatsuLangNo description or website provided.
Stars: ✭ 96 (+380%)
MirMir (backports): Sparse tensors, Hoffman
Stars: ✭ 204 (+920%)
EffectiveSanRuntime type and bounds-error checking for C/C++
Stars: ✭ 95 (+375%)
marsMinimal language with type inference, structures, control flow, and more.
Stars: ✭ 19 (-5%)
EmbedSanitizerEmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
Stars: ✭ 16 (-20%)
CheckedcChecked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, a…
Stars: ✭ 2,692 (+13360%)
docker-openglMulti-Arch Docker - Mesa 3D OpenGL Software Rendering (Gallium) - LLVMpipe, and OpenSWR Drivers
Stars: ✭ 68 (+240%)
Ts LlvmTypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (+1050%)
nballerina-cppBallerina compiler backend that generates platform-specific executables.
Stars: ✭ 16 (-20%)
Llvm[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (+1010%)
CSCD70CSCD70 Compiler Optimization
Stars: ✭ 147 (+635%)
Cmake ScriptsA selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (+910%)
neo-cYet another modern compiler. It is also C compiler. Using LLVM wih boehmGC
Stars: ✭ 72 (+260%)
suicideLLVM pass that detects one undefined behavior, and emits code to delete your hard drive
Stars: ✭ 33 (+65%)
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (+895%)
tinylangTiny玩具语言(Go语言实现/包含Tiny编译器/CASL汇编器/COMET虚拟机/调试器/支持WebAssembly/LLVM)
Stars: ✭ 61 (+205%)
expressiExpression-oriented toy programming language written in Rust
Stars: ✭ 17 (-15%)
heyoka.pyPython library for ODE integration via Taylor's method and LLVM
Stars: ✭ 45 (+125%)
SCAFA Speculation-Aware Collaborative Dependence Analysis Framework
Stars: ✭ 25 (+25%)
geodeThe Geode Programming Language
Stars: ✭ 16 (-20%)
Kernel-Compile-ScriptThis is a collection of scripts aimed at streamlining the process of kernel compilation for improved efficiency and effectiveness.
Stars: ✭ 20 (+0%)
LLASTA high level LLVM IR AST provider for GraphEngine JIT.
Stars: ✭ 21 (+5%)
homebrew-llvmLLVM formulae for the Homebrew package manager
Stars: ✭ 23 (+15%)
Dr checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Stars: ✭ 251 (+1155%)
llvm2cpgLLVM meets Code Property Graphs
Stars: ✭ 62 (+210%)
Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+1110%)
vuoA realtime visual programming language for interactive media.
Stars: ✭ 103 (+415%)
WeldHigh-performance runtime for data analytics applications
Stars: ✭ 2,709 (+13445%)
U-00DC-Sprache"Ü" programming language development
Stars: ✭ 43 (+115%)
qbiccExperimental static compiler for Java programs.
Stars: ✭ 118 (+490%)
KazanMirror; Work-in-progress software-rendering Vulkan implementation
Stars: ✭ 226 (+1030%)
contechThe Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.
Stars: ✭ 43 (+115%)
OmniscidbOmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+12905%)
noccA LLVM based self-hosting C compiler
Stars: ✭ 22 (+10%)
JfsConstraint solver based on coverage-guided fuzzing
Stars: ✭ 215 (+975%)
dumb-obfuscatorTutorial on how to write the dumbest obfuscator I could think of.
Stars: ✭ 147 (+635%)
Pure LangPure programming language
Stars: ✭ 209 (+945%)
linuxLinux kernel source tree
Stars: ✭ 234 (+1070%)
AliveAlive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (+920%)
deollvm64deobfuscator llvm arm64 script
Stars: ✭ 67 (+235%)
TON-CompilerClang compiler for Free TON Virtual Machine
Stars: ✭ 56 (+180%)
syclSYCL for Vitis: Experimental fusion of triSYCL with Intel SYCL oneAPI DPC++ up-streaming effort into Clang/LLVM
Stars: ✭ 80 (+300%)
flextoolC++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
Stars: ✭ 32 (+60%)
MetaCGMetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
Stars: ✭ 21 (+5%)
ugoµGo编程语言(从头开发一个迷你Go语言编译器)
Stars: ✭ 38 (+90%)
FastLuaLua trace JIT compiler using LLVM-C
Stars: ✭ 22 (+10%)