#LLVM

Logo of seahorn
seahorn
SeaHorn is an analysis framework for LLVM-based languages, emphasizing features such as abstract interpretation and context-sensitive pointer analysis, alongside SMT and CHC-based model checking approaches. Primarily built for automated verification research, it offers customizable tools and examples for bespoke verification needs. Users can utilize a Python script to verify C programs, create counterexamples, and assess code complexity. The framework is compatible with Linux and macOS, with Docker available for streamlined installation. Discover SeaHorn's functionality through its detailed command-line interface and adaptable components aimed at accurate verification outcomes.
Logo of triton
triton
Triton is an open-source language and compiler aimed at creating efficient custom deep-learning primitives, offering flexibility and productivity beyond CUDA. It supports fast computational code development with comprehensive tools and documentation. Triton facilitates advanced neural computations on GPUs and CPUs, and supports NVIDIA and AMD GPUs. Easily integrate Triton using pip with LLVM customization options. Join the Triton Conference on September 17, 2024, in Fremont, CA, for community insights and developments.
Logo of Enzyme
Enzyme
Enzyme is a high-performance tool for automatic differentiation in LLVM and MLIR, designed to enhance gradient computation efficiency. It can be easily integrated via direct build or package managers like Homebrew and Spack. Supporting both Julia and Rust bindings, it is suited for researchers and developers in high-performance computing and machine learning. Discover installation guides and connect with the community for in-depth information and collaborative opportunities.
Logo of bpftrace
bpftrace
bpftrace uses eBPF to compile scripts into bytecode through LLVM, enabling comprehensive tracing on Linux. Inspired by awk and C, it supports dynamic tracing and various probe types for system performance analysis. It includes editor plugins and detailed resources such as manuals and tutorials, beneficial for developers interested in advanced tracing capabilities.