Liby99 / llirLinks
LLVM IR Binding for Rust
☆12Updated 4 years ago
Alternatives and similar repositories for llir
Users that are interested in llir are comparing it to the libraries listed below
Sorting:
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- Trophy case for Rudra bugs.☆40Updated last year
- Low overhead, high precision measurement crate for Rust☆16Updated 2 months ago
- Error return tracing in Rust. Still WIP☆11Updated 3 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 6 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆30Updated 10 months ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 4 years ago
- library (and utility) for tracking filesystem changes☆17Updated 4 years ago
- A rust crate for creating concurrent pipelines☆9Updated 7 years ago
- A Red-Black tree implemented in rust....for science!☆10Updated 4 years ago
- setup for fuzzing the Rust compiler☆58Updated 2 months ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Updated 5 years ago
- Working through the Rust book☆13Updated 4 years ago
- An experimental programming language for ergonomic software verification☆16Updated this week
- Example implementation of stack tokens for Rust☆34Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- My game for Ludum Dare 49, written in Rust to be run in the browser via WASM and HTML5☆14Updated 3 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 5 years ago
- Print bytes as losslessly as possible.☆18Updated 6 months ago
- The Pulse separation logic DSL for F*☆16Updated last week
- ☆27Updated last month
- ☆11Updated last week
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆69Updated last month
- tree-sitter based syntax highlighting HTML rendering☆18Updated 2 years ago
- An ordered map and set based on a trie.☆28Updated 5 years ago
- High level Lean 4 FFI for Rust☆13Updated last year