โ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 3 weeks ago
- golang library to parse AMD Firmware Structuresโ15Oct 17, 2020Updated 5 years ago
- 1st Testwafer for LibreSiliconโ15May 24, 2019Updated 7 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3โ21Feb 24, 2023Updated 3 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
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- โ19Dec 8, 2025Updated 8 months 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
- CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/Doxygenโ10Aug 8, 2019Updated 7 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)โ59Apr 1, 2024Updated 2 years ago
- ๅฎ้ช๏ผrust ๅฎ็ฐ llama2 ๆจ็โ17Feb 23, 2024Updated 2 years ago
- โ18Jun 1, 2026Updated 2 months ago
- coffeescript based hardware description languageโ14Jan 14, 2022Updated 4 years ago
- Synthesisable SIMT-style RISC-V GPGPUโ57Mar 30, 2026Updated 4 months ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406โ10Dec 20, 2023Updated 2 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.
- โ24Dec 9, 2024Updated last year
- The last Golang ORM you'll ever need, built like Active Record (with 1.18 Generics)โ10Nov 20, 2024Updated last year
- Verification Template Engine is a Jinja2-based template engine targeted at verification engineersโ14Jan 4, 2024Updated 2 years ago
- Where http.HaandleFunc and alike lives.โ23Jul 29, 2019Updated 7 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClassโ15Feb 8, 2023Updated 3 years ago
- 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 9 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
- 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.
- What if everything is a io_uring?โ17Nov 10, 2022Updated 3 years ago
- โ15Dec 29, 2024Updated last year
- Tasking 2.0โ17Nov 1, 2021Updated 4 years ago
- โ12Jun 5, 2025Updated last year
- 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 7 months ago
- A simulation platform for managed applications based on Maxine VM and ZSimโ11Jun 19, 2017Updated 9 years ago
- Standard HyperRAM core for ECP5 written in Litex/Migenโ14Dec 6, 2019Updated 6 years ago
- IPsec (IKEv2) parser written in rust with nomโ24Sep 16, 2025Updated 10 months ago
- Interconnect Prototyping Assistant (IPA) is an interconnect modeling and generation framework built atop [MatchLib] (https://github.com/Nโฆโ15Aug 20, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting โข AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An open source PDK using TIGFET 10nm devices.โ60Dec 19, 2022Updated 3 years ago
- Low level tools for reading, writing and manipulation of PDFsโ17Mar 23, 2026Updated 4 months ago
- Implementation of Alpha Go Zero algorithm for the game of tic-tac-toeโ16Nov 4, 2017Updated 8 years ago
- The Demo that was presented at FCCM.โ16Aug 16, 2018Updated 7 years ago
- RISC-V System on Chip Builderโ12Sep 27, 2020Updated 5 years ago
- โ12Sep 11, 2024Updated last year
- Xilinx Virtual Cable Implementation based on ESP8266โ17Aug 25, 2021Updated 4 years ago