Alternatives and similar repositories for llir:

Users that are interested in llir are comparing it to the libraries listed below

• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Updated 6 years ago
• tock / elf2tab
  Tool to create Tock Application Bundles from ELF files.
  ☆16Updated last month
• smol-rs / nb-connect
  [DEPRECATED] Non-blocking TCP or Unix connect
  ☆14Updated 3 years ago
• c4-project / c4f
  The C4 Concurrent C Fuzzer
  ☆14Updated last year
• jedisct1 / rust-precision
  Low overhead, high precision measurement crate for Rust
  ☆16Updated last month
• matklad / jthread-rs
  ☆15Updated 5 years ago
• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆40Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 9 months ago
• BGR360 / propagate
  Error return tracing in Rust. Still WIP
  ☆11Updated 3 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆27Updated last week
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆15Updated this week
• bytecodealliance / filecheck
  Library for writing tests for utilities that read text files and produce text output
  ☆22Updated 4 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week
• summivox / fenwick.rs
  fenwick: rust implementation of Fenwick trees (aka. binary/bit indexed trees)
  ☆8Updated 2 years ago
• zshipko / llama
  Rust LLVM bindings
  ☆31Updated 2 years ago
• ninja-rs / ninja-rs
  Ninja is a small build system with a focus on speed. Rust language port.
  ☆16Updated 7 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 years ago
• jwilm / rust-postgres-cursor
  A Cursor type for use with rust-postgres
  ☆12Updated last year
• willcrichton / rustc-type-metaprogramming
  ☆24Updated 7 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• hotg-ai / cargo-wapm
  A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.
  ☆8Updated 2 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆67Updated 2 weeks ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆33Updated last month
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated last year