☆17Apr 14, 2022Updated 4 years ago
Alternatives and similar repositories for manticore
Users that are interested in manticore are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- golang library to parse AMD Firmware Structures☆15Oct 17, 2020Updated 5 years ago
- 1st Testwafer for LibreSilicon☆15May 24, 2019Updated 7 years ago
- 📶 A toy Bluetooth Low Energy (BLE) stack for learning purposes.☆13Jan 20, 2018Updated 8 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Memfault daemon for embedded Linux systems. Observability, logging, crash reporting, and updating all in one service☆29Mar 26, 2026Updated 2 months ago
- CoRIM and CoMID manipulation library☆22Updated this 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 9 years ago
- CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/Doxygen☆10Aug 8, 2019Updated 6 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
- Easily create a mirror of crates.io (crate downloads only, not the website)☆13Aug 26, 2018Updated 7 years ago
- KiCad plotting utility☆49Apr 30, 2020Updated 6 years ago
- A Rust library for creating hierarchical state machines☆17Feb 14, 2026Updated 4 months ago
- Package for implementing clients and servers of the 9P and 9P2000 distributed resource protocols in Go.☆20Jan 26, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Tmux plugins for defining text macros☆41Jun 3, 2026Updated last week
- 实验：rust 实现 llama2 推理☆17Feb 23, 2024Updated 2 years ago
- A plugin for presenting an IPFS gateway over i2p☆17Apr 25, 2020Updated 6 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Apr 1, 2024Updated 2 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☆19Jun 4, 2026Updated last week
- Plot streaming data from stdin to a tty terminal☆66Nov 24, 2020Updated 5 years ago
- ☆17Jun 1, 2023Updated 3 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- coffeescript based hardware description language☆14Jan 14, 2022Updated 4 years ago
- A library to access to basic functions of hardware cryptocurrencies wallets☆10Mar 17, 2019Updated 7 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- Compare Bloxroute and Fiber transaction streams☆10Nov 22, 2024Updated last year
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 3 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- ☆10Nov 8, 2019Updated 6 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated last month
- ☆12May 20, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆16Sep 14, 2023Updated 2 years ago
- Synthesisable SIMT-style RISC-V GPGPU☆54Mar 30, 2026Updated 2 months ago
- Tools for unpacking and repacking firmware images for the Insta360 X3☆13Sep 19, 2023Updated 2 years ago
- Read-only mirror of Rusted Firmware-A☆39Updated this week
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- ☆12Jun 5, 2025Updated last year
- Go package for TREZOR devices☆11Feb 28, 2019Updated 7 years ago