A study of undefined behavior across foreign function boundaries in Rust libraries.
☆11Feb 13, 2025Updated last year
Alternatives and similar repositories for mirilli
Users that are interested in mirilli are comparing it to the libraries listed below
Sorting:
- A Rust Linter with Decoupled Rule Definition and Detection Logic.☆17Feb 4, 2026Updated 3 weeks ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A toolkit for volumetric video research☆15Jun 4, 2024Updated last year
- Dependency Analysis Project - tools to discover implicit dependencies in source code and on systems☆18Jan 30, 2026Updated last month
- Lock ordering enforcement at compile time in Rust☆23Mar 17, 2025Updated 11 months ago
- A Rust crate that implements "design by contract" via procedural macros☆29Feb 23, 2026Updated last week
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 8 months ago
- Treesitter parser manager for Neovim☆34Feb 24, 2026Updated last week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Apr 19, 2024Updated last year
- Program verification☆10Updated this week
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆39Mar 5, 2025Updated 11 months ago
- Find deadlocks in Rust code with Petri net model checking☆56Feb 20, 2026Updated last week
- Custom literals in Rust☆90Updated this week
- Pre-RFC for merging cargo-script into cargo☆40Updated this week
- A semi-useful, pseudo-pedagogical neovim plugin using treesitter for C++ actions☆15Jun 24, 2025Updated 8 months ago
- ☆55Aug 16, 2025Updated 6 months ago
- Breakout Game written in Rust for the ESP32 with an OLED display, using the Embassy framework.☆11Jan 31, 2025Updated last year
- A community-maintained registry of Model Context Protocol (MCP) servers with structured installation configurations for easy integration.☆21Updated this week
- Implement CollAFL using LLVM LTO pass on afl++.☆12Sep 24, 2020Updated 5 years ago
- ☆10May 12, 2023Updated 2 years ago
- Save vim undo files as /path/to/file instead of %path%to%file.☆13Apr 18, 2024Updated last year
- Load and resolve Cargo configuration.☆18Updated this week
- The CompCert formally-verified C compiler☆10Feb 24, 2026Updated last week
- ☆12Mar 20, 2025Updated 11 months ago
- Slides and sources for talks on Tree Borrows☆14Dec 5, 2025Updated 2 months ago
- XML builder macro letting you write XML inside Rust code☆10Nov 15, 2023Updated 2 years ago
- mdbook on common pitfalls in unsafe rust code☆11May 24, 2019Updated 6 years ago
- Examples of Peroxide (Rust numeric library)☆10Mar 7, 2025Updated 11 months ago
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆13Apr 27, 2025Updated 10 months ago
- ☆16Jan 23, 2026Updated last month
- ☆48Jun 30, 2025Updated 8 months ago
- asynchronous deduplicator with optional LRU caching☆12Feb 8, 2026Updated 3 weeks ago
- Examples and support libraries for the amdgpu Rust target☆15Dec 4, 2025Updated 2 months ago
- An autonomous options trading strategy wrapped in a tokenized profit sharing ERC4626 vault, designed for rysk finance☆11Sep 17, 2023Updated 2 years ago
- completion.☆11May 15, 2025Updated 9 months ago
- A collection of scripts for running eth + optimism full nodes☆13Mar 15, 2023Updated 2 years ago
- MCSema Build Windows download☆11Jul 6, 2020Updated 5 years ago
- Amlapiwr Python C ar gyfer hwyluso rhaglennu gyda Festival | A Python C wrapper for simple coding with Festival☆10Jul 31, 2022Updated 3 years ago
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆13Jul 9, 2022Updated 3 years ago