โ17Apr 14, 2022Updated 3 years ago
Alternatives and similar repositories for manticore
Users that are interested in manticore are comparing it to the libraries listed below
Sorting:
- ๐ฒ Syncing my dotfilesโ13Mar 10, 2026Updated last week
- golang library to parse AMD Firmware Structuresโ15Oct 17, 2020Updated 5 years ago
- 1st Testwafer for LibreSiliconโ15May 24, 2019Updated 6 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3โ21Feb 24, 2023Updated 3 years ago
- A distributed filesystemโ10Jan 31, 2017Updated 9 years ago
- Memfault daemon for embedded Linux systems. Observability, logging, crash reporting, and updating all in one serviceโ27Mar 6, 2026Updated 2 weeks ago
- Fitbit OS watch app + Android app to create a mock Bluetooth heart rate monitor for fitness equipmentโ26Apr 19, 2024Updated last year
- CoRIM and CoMID manipulation libraryโ22Mar 9, 2026Updated last week
- Learning project to better understand blockchains and how to implement them in Swift. Heavily based on Naivechain: https://github.com/lhaโฆโ11Apr 5, 2017Updated 8 years ago
- CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/Doxygenโ10Aug 8, 2019Updated 6 years ago
- Easily create a mirror of crates.io (crate downloads only, not the website)โ13Aug 26, 2018Updated 7 years ago
- Command-line utility to return Zotero record field values given a Zotero select link, an item key, or even just a file attachmentโ10Dec 23, 2023Updated 2 years ago
- Rust encryption library for practical time-lock encryption.โ37Updated this week
- Tmux plugins for defining text macrosโ41Apr 25, 2025Updated 10 months ago
- ๅฎ้ช๏ผrust ๅฎ็ฐ llama2 ๆจ็โ17Feb 23, 2024Updated 2 years ago
- A plugin for presenting an IPFS gateway over i2pโ17Apr 25, 2020Updated 5 years ago
- A framework for FPGA emulation of mixed-signal systemsโ39Jul 28, 2021Updated 4 years ago
- PCB libraries and templates for rocket-chip based FPGA/ASIC designsโ16Feb 24, 2026Updated 3 weeks ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406โ10Dec 20, 2023Updated 2 years ago
- Tool to compile & package a modโ10Aug 22, 2023Updated 2 years ago
- coffeescript based hardware description languageโ14Jan 14, 2022Updated 4 years ago
- An open source implementation of an AMD-V Secure Loader.โ27Nov 8, 2021Updated 4 years ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.โ10Mar 17, 2023Updated 3 years ago
- Compare Bloxroute and Fiber transaction streamsโ10Nov 22, 2024Updated last year
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmeticโ12Dec 18, 2023Updated 2 years ago
- A library to access to basic functions of hardware cryptocurrencies walletsโ10Mar 17, 2019Updated 7 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundnessโ11Nov 2, 2024Updated last year
- โ10Nov 8, 2019Updated 6 years ago
- โ16Sep 14, 2023Updated 2 years ago
- โ12May 20, 2021Updated 4 years ago
- Synthesisable SIMT-style RISC-V GPGPUโ49Jul 7, 2025Updated 8 months ago
- โ25Dec 9, 2024Updated last year
- Go packages providing ways to parse, replay, and extract information from various attestation-related event logsโ17Mar 5, 2026Updated 2 weeks ago
- The entry point for Rust projects to be run on Validaโ10Mar 14, 2025Updated last year
- Tools for unpacking and repacking firmware images for the Insta360 X3โ13Sep 19, 2023Updated 2 years ago
- Code and models accompanying "Learning to Associate Words and Images Using a Large-scale Graph"โ16May 21, 2017Updated 8 years ago
- What if everything is a io_uring?โ17Nov 10, 2022Updated 3 years ago
- ๐ฆ Prototypes on polymorphic, metamorphic and poly-metamorphic malwares in Rust ๐ฆโ14Oct 8, 2023Updated 2 years ago
- ELVE : ELVE Logic Visualization Engineโ11Jul 2, 2017Updated 8 years ago