☆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
Sorting:
- 🎲 Syncing my dotfiles☆13Feb 7, 2026Updated 3 weeks 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
- Memfault daemon for embedded Linux systems. Observability, logging, crash reporting, and updating all in one service☆27Nov 20, 2025Updated 3 months ago
- ☆25Dec 9, 2024Updated last year
- Fitbit OS watch app + Android app to create a mock Bluetooth heart rate monitor for fitness equipment☆26Apr 19, 2024Updated last year
- Rust encryption library for practical time-lock encryption.☆37Jul 19, 2024Updated last year
- A framework for FPGA emulation of mixed-signal systems☆39Jul 28, 2021Updated 4 years ago
- Mirror of Ellozy's White Mountain Peakbagging Site☆13May 1, 2019Updated 6 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- ☆17Nov 28, 2025Updated 3 months ago
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated 3 weeks ago
- Tmux plugins for defining text macros☆41Apr 25, 2025Updated 10 months ago
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- Pure D implementation of SHA-3 (Keccak-f[1600,24]) + DUB package☆12Sep 15, 2025Updated 5 months ago
- Composable numerical solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust. WASM compatible☆13Jul 10, 2025Updated 7 months ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆55Nov 22, 2025Updated 3 months ago
- Synthesisable SIMT-style RISC-V GPGPU☆49Jul 7, 2025Updated 7 months ago
- KiCad plotting utility☆49Apr 30, 2020Updated 5 years ago
- a mechanism to transfer digital credentials securely between two devices☆12Feb 14, 2023Updated 3 years ago
- The last Golang ORM you'll ever need, built like Active Record (with 1.18 Generics)☆10Nov 20, 2024Updated last year
- Repository containing the DSP gateware cores☆14Feb 6, 2026Updated 3 weeks ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- The ANUBIS benchmark suite for Incremental Synthesis☆12Dec 15, 2020Updated 5 years ago
- A memcached client library for C/C++. Best suited to yrmcds.☆18May 21, 2017Updated 8 years ago
- ☆11Apr 22, 2025Updated 10 months ago
- Parses specific part of CSV file. Used for PARALLEL CSV PARSING.☆25Jan 2, 2015Updated 11 years ago
- ☆10Nov 8, 2019Updated 6 years ago
- WASM Web Development framework for Dlang (D Programming Language)☆15Jun 26, 2025Updated 8 months ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 4 months ago
- A remotely controlled wheeled robot☆10Jul 29, 2017Updated 8 years ago
- FISC - Flexible Instruction Set Computer - Is the new Instruction Set Architecture inspired by ARMv8 and x86-64☆15Aug 22, 2019Updated 6 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Tool to compile & package a mod☆10Aug 22, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- A versioned collection of snippets showing how to use client-go☆10Sep 3, 2017Updated 8 years ago