โ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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ๐ฒ Syncing my dotfilesโ13Apr 2, 2026Updated last week
- 1st Testwafer for LibreSiliconโ15May 24, 2019Updated 6 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
- Fitbit OS watch app + Android app to create a mock Bluetooth heart rate monitor for fitness equipmentโ26Apr 19, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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
- Mirror of Ellozy's White Mountain Peakbagging Siteโ13May 1, 2019Updated 6 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
- A Rust library for creating hierarchical state machinesโ18Feb 14, 2026Updated last month
- Rust encryption library for practical time-lock encryption.โ37Mar 18, 2026Updated 3 weeks ago
- Tmux plugins for defining text macrosโ41Apr 25, 2025Updated 11 months ago
- ๅฎ้ช๏ผrust ๅฎ็ฐ llama2 ๆจ็โ17Feb 23, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off โข AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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โ16Updated this week
- 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
- 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
- โ10Nov 8, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundnessโ11Nov 2, 2024Updated last year
- โ12May 20, 2021Updated 4 years ago
- โ16Sep 14, 2023Updated 2 years ago
- Synthesisable SIMT-style RISC-V GPGPUโ52Mar 30, 2026Updated last week
- โ25Dec 9, 2024Updated last year
- The entry point for Rust projects to be run on Validaโ10Mar 14, 2025Updated last year
- Code and models accompanying "Learning to Associate Words and Images Using a Large-scale Graph"โ16May 21, 2017Updated 8 years ago
- Verification Template Engine is a Jinja2-based template engine targeted at verification engineersโ14Jan 4, 2024Updated 2 years ago
- Read-only mirror of Rusted Firmware-Aโ35Mar 30, 2026Updated last week
- DigitalOcean Gradient AI Platform โข AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- What if everything is a io_uring?โ17Nov 10, 2022Updated 3 years ago
- ELVE : ELVE Logic Visualization Engineโ11Jul 2, 2017Updated 8 years ago
- โ12Jun 5, 2025Updated 10 months ago
- ๐ฆ Prototypes on polymorphic, metamorphic and poly-metamorphic malwares in Rust ๐ฆโ14Oct 8, 2023Updated 2 years ago
- Automatic generation of real number models from analog circuitsโ48Apr 2, 2024Updated 2 years ago
- โ14Dec 29, 2024Updated last year
- A Zero Cost Abstruction of FSM(Finite State Machine) circuits based on chisel3.โ13Oct 8, 2021Updated 4 years ago