mlir-hsHaskell bindings for MLIR
Stars: ✭ 53 (+130.43%)
ugoµGo编程语言(从头开发一个迷你Go语言编译器)
Stars: ✭ 38 (+65.22%)
GrimheartTorture your LLVM Obfuscation
Stars: ✭ 29 (+26.09%)
seadDecompilation of sead: the standard C++ library for first-party Nintendo games
Stars: ✭ 91 (+295.65%)
ebsrcSource code recreation for the game Earthbound
Stars: ✭ 91 (+295.65%)
cladclad -- automatic differentiation for C/C++
Stars: ✭ 161 (+600%)
Decaf-CompilerCompiler for Decaf Programming Language
Stars: ✭ 36 (+56.52%)
systemc-compilerThis tool translates synthesizable SystemC code to synthesizable SystemVerilog.
Stars: ✭ 128 (+456.52%)
homebrew-llvmLLVM formulae for the Homebrew package manager
Stars: ✭ 23 (+0%)
pacxx-llvmProgramming Accelerators with C++ (PACXX)
Stars: ✭ 57 (+147.83%)
ghidra2dwarf🐉 Export ghidra decompiled code to dwarf sections inside ELF binary
Stars: ✭ 135 (+486.96%)
manyclangsRepository hosting unofficial binary pack files for many commits of LLVM
Stars: ✭ 125 (+443.48%)
SDASDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.
Stars: ✭ 98 (+326.09%)
MadMaxEthereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
Stars: ✭ 96 (+317.39%)
qbiccExperimental static compiler for Java programs.
Stars: ✭ 118 (+413.04%)
ethdasmTool for auditing Ethereum contracts
Stars: ✭ 52 (+126.09%)
noccA LLVM based self-hosting C compiler
Stars: ✭ 22 (-4.35%)
pa.llvmProgram Analysis for LLVM
Stars: ✭ 37 (+60.87%)
linuxLinux kernel source tree
Stars: ✭ 234 (+917.39%)
WeldHigh-performance runtime for data analytics applications
Stars: ✭ 2,709 (+11678.26%)
TON-CompilerClang compiler for Free TON Virtual Machine
Stars: ✭ 56 (+143.48%)
FPCheckerA dynamic analysis tool to detect floating-point errors in HPC applications.
Stars: ✭ 26 (+13.04%)
pikminA decompilation of Pikmin brought to you by fans of the series.
Stars: ✭ 43 (+86.96%)
open-opsOpen Optimizing Parallelizing System
Stars: ✭ 21 (-8.7%)
MetaCGMetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
Stars: ✭ 21 (-8.7%)
NatsuLangNo description or website provided.
Stars: ✭ 96 (+317.39%)
juce faustllvmJUCE Module for the libfaust JIT compiler
Stars: ✭ 32 (+39.13%)
expressiExpression-oriented toy programming language written in Rust
Stars: ✭ 17 (-26.09%)
joernOpen-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs
Stars: ✭ 968 (+4108.7%)
LesmaThe Lesma Programming Language
Stars: ✭ 14 (-39.13%)
rainA programming language.
Stars: ✭ 20 (-13.04%)
Dxbc2DxilDEPRECATED. DXBC to DXIL (HLSL Bytecode to LLVM IR) using internal APIs.
Stars: ✭ 21 (-8.7%)
molluscPure-Rust libraries for parsing, interpreting, and analyzing LLVM
Stars: ✭ 49 (+113.04%)
Kernel-Compile-ScriptThis is a collection of scripts aimed at streamlining the process of kernel compilation for improved efficiency and effectiveness.
Stars: ✭ 20 (-13.04%)
U-00DC-Sprache"Ü" programming language development
Stars: ✭ 43 (+86.96%)
FIDLA sane API for IDA Pro's decompiler. Useful for malware RE and vulnerability research
Stars: ✭ 421 (+1730.43%)
ChigraphA visual systems language for beginners compiled using LLVM
Stars: ✭ 247 (+973.91%)
Chromium ClangChromium browser compiled with the Clang/LLVM compiler.
Stars: ✭ 77 (+234.78%)
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 (+11604.35%)
dumb-obfuscatorTutorial on how to write the dumbest obfuscator I could think of.
Stars: ✭ 147 (+539.13%)
verificarloA tool for debugging and assessing floating point precision and reproducibility.
Stars: ✭ 51 (+121.74%)
Ts LlvmTypeScript to LLVM compiler (abandoned)
Stars: ✭ 230 (+900%)
heyoka.pyPython library for ODE integration via Taylor's method and LLVM
Stars: ✭ 45 (+95.65%)
KazanMirror; Work-in-progress software-rendering Vulkan implementation
Stars: ✭ 226 (+882.61%)
Spirv Llvm TranslatorA tool and a library for bi-directional translation between SPIR-V and LLVM IR
Stars: ✭ 223 (+869.57%)
ghidra-r2webGhidra plugin to start an r2 webserver to let r2 interact with it
Stars: ✭ 38 (+65.22%)
OmniscidbOmniSciDB (formerly MapD Core)
Stars: ✭ 2,601 (+11208.7%)
Llvm[MERGED UPSTREAM] AVR backend for the LLVM compiler library
Stars: ✭ 222 (+865.22%)
marsMinimal language with type inference, structures, control flow, and more.
Stars: ✭ 19 (-17.39%)
JfsConstraint solver based on coverage-guided fuzzing
Stars: ✭ 215 (+834.78%)
SymbioticSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Stars: ✭ 212 (+821.74%)
llvm-package-windowsProvides LLVM binary packages for an (almost) complete Windows build matrix. Built and packaged by GitHub Actions.
Stars: ✭ 77 (+234.78%)
OCCAMOCCAM: Object Culling and Concretization for Assurance Maximization
Stars: ✭ 20 (-13.04%)
llvm2cpgLLVM meets Code Property Graphs
Stars: ✭ 62 (+169.57%)