Liby99 / llir
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
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- The Pulse separation logic DSL for F*☆14Updated this week
- The C4 Concurrent C Fuzzer☆14Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A Red-Black tree implemented in rust....for science!☆10Updated 4 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 6 years ago
- Trophy case for Rudra bugs.☆39Updated last year
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 5 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Low overhead, high precision measurement crate for Rust☆16Updated last week
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 3 years ago
- A simple induction and BMC engine.☆23Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)☆23Updated 5 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 5 years ago
- SML The Living Language☆11Updated 11 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Liquid Types implementation for Rust☆28Updated 2 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated 3 weeks ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆30Updated 8 months ago
- ☆10Updated 5 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆67Updated 3 weeks ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 4 years ago
- Exploring the "expression problem" in Rust☆48Updated 2 years ago