Liby99 / llirLinks
LLVM IR Binding for Rust
☆13Updated 4 years ago
Alternatives and similar repositories for llir
Users that are interested in llir are comparing it to the libraries listed below
Sorting:
- The C4 Concurrent C Fuzzer☆14Updated last year
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- Error return tracing in Rust. Still WIP☆11Updated 3 years ago
- library (and utility) for tracking filesystem changes☆17Updated 4 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 5 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 4 years ago
- Trophy case for Rudra bugs.☆40Updated last year
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- A WebAssembly test case generator☆43Updated 4 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- dom-like layout for terminal applications☆13Updated 4 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- A Red-Black tree implemented in rust....for science!☆10Updated 4 years ago
- Low overhead, high precision measurement crate for Rust☆16Updated 3 months ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- A simple (unfinished) SMT solver for QF_ABV.☆36Updated 6 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- Rust firewall for seL4☆10Updated 7 years ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- The Pulse separation logic DSL for F*☆20Updated last week
- Patches Assured up to Trace Equivalence☆16Updated 2 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 5 months ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆30Updated 11 months ago
- setup for fuzzing the Rust compiler☆58Updated 3 months ago
- A randomized program fuzzer for the Rust programming language☆64Updated last year
- Type-Level Programming in Rust☆27Updated 3 years ago
- A curses-based hex editor☆13Updated 6 years ago
- Simple grammar-based test case generator☆31Updated last week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated last week