โ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:
- ๐ฒ Syncing my dotfilesโ13Jul 17, 2026Updated 2 months ago
- golang library to parse AMD Firmware Structuresโ15Oct 17, 2020Updated 5 years ago
- ๐ถ A toy Bluetooth Low Energy (BLE) stack for learning purposes.โ13Jan 20, 2018Updated 8 years ago
- 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
- Memfault daemon for embedded Linux systems. Observability, logging, crash reporting, and updating all in one serviceโ30Sep 25, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer โข AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- โ18Dec 8, 2025Updated 10 months ago
- Fitbit OS watch app + Android app to create a mock Bluetooth heart rate monitor for fitness equipmentโ26Apr 19, 2024Updated 2 years ago
- Mirror of Ellozy's White Mountain Peakbagging Siteโ13May 1, 2019Updated 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
- KiCad plotting utilityโ49Apr 30, 2020Updated 6 years ago
- Easily create a mirror of crates.io (crate downloads only, not the website)โ13Aug 26, 2018Updated 8 years ago
- A Rust library for creating hierarchical state machinesโ18Feb 14, 2026Updated 7 months ago
- โ17Jun 1, 2023Updated 3 years ago
- An open source implementation of an AMD-V Secure Loader.โ30Nov 8, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer โข AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ๅฎ้ช๏ผrust ๅฎ็ฐ llama2 ๆจ็โ17Feb 23, 2024Updated 2 years ago
- A framework for FPGA emulation of mixed-signal systemsโ39Jul 28, 2021Updated 5 years ago
- coffeescript based hardware description languageโ14Jan 14, 2022Updated 4 years ago
- โ10Nov 8, 2019Updated 6 years ago
- Synthesisable SIMT-style RISC-V GPGPUโ58Mar 30, 2026Updated 6 months ago
- โ12May 20, 2021Updated 5 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmeticโ12Dec 18, 2023Updated 2 years ago
- Verification Template Engine is a Jinja2-based template engine targeted at verification engineersโ14Aug 31, 2026Updated last month
- Where http.HaandleFunc and alike lives.โ23Jul 29, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClassโ15Feb 8, 2023Updated 3 years ago
- The entry point for Rust projects to be run on Validaโ10Mar 14, 2025Updated last year
- ELVE : ELVE Logic Visualization Engineโ11Jul 2, 2017Updated 9 years ago
- What if everything is a io_uring?โ17Nov 10, 2022Updated 3 years ago
- Automatic generation of real number models from analog circuitsโ50Apr 2, 2024Updated 2 years ago
- โ15Dec 29, 2024Updated last year
- Tasking 2.0โ17Nov 1, 2021Updated 4 years ago
- A simple directed multigraph built on Hypertrie.โ14Feb 12, 2022Updated 4 years ago
- โ12Jun 5, 2025Updated last year
- AI Agents on 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.
- Go package for TREZOR devicesโ11Feb 28, 2019Updated 7 years ago
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.โ24Dec 25, 2025Updated 9 months ago
- Standard HyperRAM core for ECP5 written in Litex/Migenโ14Dec 6, 2019Updated 6 years ago
- A Zero Cost Abstruction of FSM(Finite State Machine) circuits based on chisel3.โ13Oct 8, 2021Updated 5 years ago
- IPsec (IKEv2) parser written in rust with nomโ24Sep 16, 2025Updated last year
- Low level tools for reading, writing and manipulation of PDFsโ17Mar 23, 2026Updated 6 months ago
- โ12Oct 4, 2023Updated 3 years ago