โ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
- ๐ถ 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
- Scripts that use FZFโ16May 23, 2019Updated 7 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits โข AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- My personal configuration and theme for the awesome window managerโ10Mar 24, 2026Updated 5 months ago
- โ18Dec 8, 2025Updated 9 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
- 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
- Tmux plugins for defining text macrosโ43Aug 13, 2026Updated last month
- ๅฎ้ช๏ผrust ๅฎ็ฐ llama2 ๆจ็โ17Feb 23, 2024Updated 2 years ago
- A framework for FPGA emulation of mixed-signal systemsโ39Jul 28, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer โข AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Package for implementing clients and servers of the 9P and 9P2000 distributed resource protocols in Go.โ20Jan 26, 2016Updated 10 years ago
- โ18Jun 1, 2026Updated 3 months ago
- coffeescript based hardware description languageโ14Jan 14, 2022Updated 4 years ago
- Synthesisable SIMT-style RISC-V GPGPUโ58Mar 30, 2026Updated 5 months ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406โ10Dec 20, 2023Updated 2 years ago
- โ24Dec 9, 2024Updated last year
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmeticโ12Dec 18, 2023Updated 2 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
- Verification Template Engine is a Jinja2-based template engine targeted at verification engineersโ14Aug 31, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off โข AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundnessโ12Apr 30, 2026Updated 4 months 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 3 years ago
- Code and models accompanying "Learning to Associate Words and Images Using a Large-scale Graph"โ16May 21, 2017Updated 9 years ago
- ELVE : ELVE Logic Visualization Engineโ11Jul 2, 2017Updated 9 years ago
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer โข AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ๐ฉโ๐ฌ A Fast Fourier Transform and Partitioned Convolution Libraryโ14Apr 23, 2021Updated 5 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 8 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
- A Zero Cost Abstruction of FSM(Finite State Machine) circuits based on chisel3.โ13Oct 8, 2021Updated 4 years ago
- 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 5 months ago