cdisselkoen / llvm-ir

Related projects ⓘ

Alternatives and complementary repositories for llvm-ir

• bytecodealliance / cranelift-jit-demo
  JIT compiler and runtime for a toy language, using Cranelift
  ☆640Updated last year
• softdevteam / grmtools
  Rust grammar tool libraries and binaries
  ☆514Updated this week
• TheDan64 / inkwell
  It's a New Kind of Wrapper for Exposing LLVM (Safely)
  ☆2,355Updated this week
• rust-analyzer / rowan
  ☆709Updated last week
• kyren / gc-arena
  Incremental garbage collection from safe Rust
  ☆533Updated 2 months ago
• flux-rs / flux
  Refinement Types for Rust
  ☆652Updated this week
• rust-lang / polonius
  Defines the Rust borrow checker.
  ☆1,347Updated 4 months ago
• brendanzab / codespan
  Beautiful diagnostic reporting for text-based programming languages.
  ☆1,105Updated 4 months ago
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆818Updated 3 weeks ago
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆710Updated this week
• CensoredUsername / dynasm-rs
  A dynasm-like tool for rust.
  ☆719Updated last week
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆347Updated this week
• dtolnay / no-panic
  Attribute macro to require that the compiler prove a function can't ever panic
  ☆991Updated 2 months ago
• rrevenantt / antlr4rust
  ANTLR4 parser generator runtime for Rust programming laguage
  ☆410Updated last year
• rust-fuzz / arbitrary
  Generating structured data from arbitrary, unstructured input.
  ☆730Updated this week
• raviqqe / melior
  The rustic MLIR bindings in Rust
  ☆321Updated this week
• rust-lang / rustc_codegen_cranelift
  Cranelift based backend for rustc
  ☆1,618Updated this week
• gimli-rs / object
  A unified interface for reading and writing object file formats
  ☆667Updated 3 weeks ago
• fitzgen / bumpalo
  A fast bump allocation arena for Rust
  ☆1,433Updated 2 months ago
• mmastrac / rust-ctor
  Module initialization/global constructor functions for Rust
  ☆743Updated last month
• viperproject / prusti-dev
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,564Updated 2 weeks ago
• facebookexperimental / MIRAI
  Rust mid-level IR Abstract Interpreter
  ☆1,003Updated 2 months ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆284Updated last month
• rust-lang / unsafe-code-guidelines
  Forum for discussion about what unsafe code can and can't do
  ☆666Updated this week
• dtolnay / paste
  Macros for all your token pasting needs
  ☆1,025Updated last month
• dtolnay / inventory
  Typed distributed plugin registration
  ☆993Updated last week
• servo / rust-smallvec
  "Small vector" optimization for Rust: store up to a small number of items on the stack
  ☆1,354Updated last week
• dtolnay / linkme
  Safe cross-platform linker shenanigans
  ☆646Updated 2 weeks ago
• Kixiron / rust-langdev
  Language development libraries for Rust
  ☆897Updated 6 months ago
• jauhien / iron-kaleidoscope
  LLVM tutorial in Rust language
  ☆1,162Updated 7 months ago