cdisselkoen / llvm-irLinks
LLVM IR in natural Rust data structures
☆613Updated 3 weeks ago
Alternatives and similar repositories for llvm-ir
Users that are interested in llvm-ir are comparing it to the libraries listed below
Sorting:
- JIT compiler and runtime for a toy language, using Cranelift☆690Updated 2 months ago
- Rust grammar tool libraries and binaries☆548Updated last week
- Beautiful diagnostic reporting for text-based programming languages.☆1,194Updated this week
- Incremental garbage collection from safe Rust☆726Updated last month
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,597Updated 2 weeks ago
- A dynasm-like tool for rust.☆775Updated this week
- The rustic MLIR bindings in Rust☆408Updated last week
- Rust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)☆201Updated last month
- ☆754Updated last week
- Defines the Rust borrow checker.☆1,452Updated 2 weeks ago
- Refinement Types for Rust☆741Updated this week
- libgccjit AOT codegen for rustc☆1,004Updated this week
- Language development libraries for Rust☆960Updated 6 months ago
- A fast bump allocation arena for Rust☆1,782Updated 2 weeks ago
- A precise specification for "Rust lite / MIR plus"☆874Updated 2 weeks ago
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆749Updated last month
- Safe cross-platform linker shenanigans☆747Updated 2 weeks ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆826Updated this week
- A unified interface for reading and writing object file formats☆742Updated this week
- Simple tracing (mark and sweep) garbage collector for Rust☆1,021Updated last month
- historical archive of rust pre-publication development☆682Updated 6 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,942Updated 3 weeks ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆469Updated last year
- a model of MIR and the Rust type/trait system☆305Updated 3 months ago
- Rust bindings for the Z3 solver.☆399Updated 6 months ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,132Updated 3 months ago
- Writing Interpreters in Rust: a Guide☆509Updated 5 months ago
- Cranelift based backend for rustc☆1,804Updated this week
- ANTLR4 parser generator runtime for Rust programming laguage☆434Updated 2 years ago
- Typed distributed plugin registration☆1,122Updated 3 months ago