☆37Updated this week
Alternatives and similar repositories for mir-semantics
Users that are interested in mir-semantics are comparing it to the libraries listed below
Sorting:
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 8 months ago
- ☆106Feb 5, 2026Updated 3 weeks ago
- A fully automated Rust fuzz driver generator☆62Jun 17, 2025Updated 8 months ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- ☆35Jul 4, 2025Updated 7 months ago
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆35Nov 22, 2023Updated 2 years ago
- ☆42Nov 14, 2024Updated last year
- Gather ressources to practice Rust language☆23Jul 17, 2025Updated 7 months ago
- ☆10Jan 14, 2026Updated last month
- ☆11Jun 24, 2024Updated last year
- Supercharge your Gaianet node by generating a vector knowledge base from any API. Demo slides: https://hackmd.io/@santteegt/ByoykY4nC#/ L…☆11Nov 29, 2024Updated last year
- Various R files☆10Dec 4, 2021Updated 4 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆52Jul 20, 2025Updated 7 months ago
- Meeting Repository for AllERCDevs☆10Jun 26, 2024Updated last year
- Cyclops keeps a watchful eye on your Polkadot validators, giving you a clear vision of their performance and rewards.☆10Nov 30, 2024Updated last year
- Lydia: Who's Your Enemy in the Dark Forrest☆13Aug 24, 2025Updated 6 months ago
- 🧪 An open-source, up-to-date toolkit for building decentralized applications (dapps) on the Ethereum blockchain using React Native & Fou…☆11Mar 5, 2025Updated 11 months ago
- RFCs for changes to DevTools☆15Nov 15, 2019Updated 6 years ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- JS/TS SDK for handling (extensible) events in Matrix☆10Jan 13, 2023Updated 3 years ago
- ☆18Feb 20, 2026Updated last week
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- ☆10May 15, 2021Updated 4 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- Crypto DB☆10Updated this week
- Your portal to the Celo ecosystem! Find mobile apps, developer tools, educational resources and more.☆12Jul 16, 2023Updated 2 years ago
- PDF Analyzer and Render Comparer☆11May 6, 2022Updated 3 years ago
- Parallel Bytecode Interpreter For Heterogeneous Hardware☆15Aug 27, 2021Updated 4 years ago
- A very simple foundry template for optimal contract testing.☆19Mar 20, 2025Updated 11 months ago
- ☆10Jul 28, 2022Updated 3 years ago
- Zk Tools - Useful tools for developing using zero knowledge proofs, solidity (EVM)☆10May 3, 2024Updated last year
- A repository to store historical, timestamped DKIM keys; and for anyone to upload their own. Basically https://archive.org for public key…☆15Dec 17, 2025Updated 2 months ago
- APIS Blockchain-Indexed Services core applications☆10Jan 24, 2023Updated 3 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated last week