expressiExpression-oriented toy programming language written in Rust
Stars: ✭ 17 (-63.04%)
rainA programming language.
Stars: ✭ 20 (-56.52%)
SCAFA Speculation-Aware Collaborative Dependence Analysis Framework
Stars: ✭ 25 (-45.65%)
mlir-hsHaskell bindings for MLIR
Stars: ✭ 53 (+15.22%)
Kernel-Compile-ScriptThis is a collection of scripts aimed at streamlining the process of kernel compilation for improved efficiency and effectiveness.
Stars: ✭ 20 (-56.52%)
U-00DC-Sprache"Ü" programming language development
Stars: ✭ 43 (-6.52%)
movForthLLVM frontend for the Forth Language
Stars: ✭ 71 (+54.35%)
Dr checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
Stars: ✭ 251 (+445.65%)
LLASTA high level LLVM IR AST provider for GraphEngine JIT.
Stars: ✭ 21 (-54.35%)
Dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+426.09%)
WeldHigh-performance runtime for data analytics applications
Stars: ✭ 2,709 (+5789.13%)
dumb-obfuscatorTutorial on how to write the dumbest obfuscator I could think of.
Stars: ✭ 147 (+219.57%)
compiler labSome toy labs for compiler course
Stars: ✭ 49 (+6.52%)
KazanMirror; Work-in-progress software-rendering Vulkan implementation
Stars: ✭ 226 (+391.3%)
heyoka.pyPython library for ODE integration via Taylor's method and LLVM
Stars: ✭ 45 (-2.17%)
OmniscidbOmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+5554.35%)
systemc-compilerThis tool translates synthesizable SystemC code to synthesizable SystemVerilog.
Stars: ✭ 128 (+178.26%)
JfsConstraint solver based on coverage-guided fuzzing
Stars: ✭ 215 (+367.39%)
llvm2cpgLLVM meets Code Property Graphs
Stars: ✭ 62 (+34.78%)
Pure LangPure programming language
Stars: ✭ 209 (+354.35%)
GrimheartTorture your LLVM Obfuscation
Stars: ✭ 29 (-36.96%)
AliveAlive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (+343.48%)
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 (-6.52%)
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (+332.61%)
impCompiler for IMP programming language implemented in Haskell
Stars: ✭ 16 (-65.22%)
deollvm64deobfuscator llvm arm64 script
Stars: ✭ 67 (+45.65%)
LhcThe LLVM LHC Haskell Optimization System
Stars: ✭ 188 (+308.7%)
cladclad -- automatic differentiation for C/C++
Stars: ✭ 161 (+250%)
JlangJLang: Ahead-of-time compilation of Java programs to LLVM
Stars: ✭ 186 (+304.35%)
tinylangTiny玩具语言(Go语言实现/包含Tiny编译器/CASL汇编器/COMET虚拟机/调试器/支持WebAssembly/LLVM)
Stars: ✭ 61 (+32.61%)
YansollvmYet Another Not So Obfuscated LLVM
Stars: ✭ 180 (+291.3%)
CMLFSClang-Built Musl Linux From Scratch
Stars: ✭ 51 (+10.87%)
Llvm Guide ZhUser Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)
Stars: ✭ 180 (+291.3%)
geodeThe Geode Programming Language
Stars: ✭ 16 (-65.22%)
DstepA tool for converting C and Objective-C headers to D modules
Stars: ✭ 177 (+284.78%)
pacxx-llvmProgramming Accelerators with C++ (PACXX)
Stars: ✭ 57 (+23.91%)
Play with llvmA book about LLVM & Clang(中文开源书:玩转 LLVM)
Stars: ✭ 175 (+280.43%)
homebrew-llvmLLVM formulae for the Homebrew package manager
Stars: ✭ 23 (-50%)
llvm-package-windowsProvides LLVM binary packages for an (almost) complete Windows build matrix. Built and packaged by GitHub Actions.
Stars: ✭ 77 (+67.39%)
ShellvmA collection of LLVM transform and analysis passes to write shellcode in regular C
Stars: ✭ 170 (+269.57%)
vuoA realtime visual programming language for interactive media.
Stars: ✭ 103 (+123.91%)
Compile To WebDiscover what languages can be compiled to Web Assembly
Stars: ✭ 164 (+256.52%)
evm llvmOfficial repo of the EVM LLVM project
Stars: ✭ 72 (+56.52%)
JitfromscratchExample project from my talks in the LLVM Social Berlin and C++ User Group
Stars: ✭ 158 (+243.48%)
qbiccExperimental static compiler for Java programs.
Stars: ✭ 118 (+156.52%)
LlvmFork of the LLVM Compiler Infrastructure
Stars: ✭ 155 (+236.96%)
Chromium ClangChromium browser compiled with the Clang/LLVM compiler.
Stars: ✭ 77 (+67.39%)
noccA LLVM based self-hosting C compiler
Stars: ✭ 22 (-52.17%)
verificarloA tool for debugging and assessing floating point precision and reproducibility.
Stars: ✭ 51 (+10.87%)
Batch-FirstA JIT compiled chess engine which traverses the search tree in batches in a best-first manner, allowing for neural network batching, asynchronous GPU use, and vectorized CPU computations.
Stars: ✭ 27 (-41.3%)
YuLangThe Yu (羽) programming language.
Stars: ✭ 46 (+0%)
FPCheckerA dynamic analysis tool to detect floating-point errors in HPC applications.
Stars: ✭ 26 (-43.48%)
neo-cYet another modern compiler. It is also C compiler. Using LLVM wih boehmGC
Stars: ✭ 72 (+56.52%)