A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, available externally separately). The purpose is to use record/replay functionality in SDE for program analysis.
☆52Apr 14, 2026Updated 4 months ago
Alternatives and similar repositories for pinplay-tools
Users that are interested in pinplay-tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆44Jul 7, 2026Updated last month
- Pin-Based Constant Execution Checker (Pin-based CEC)☆20Mar 31, 2025Updated last year
- A python parser for decoding arm aarch32 and aarch64 system registers☆26Mar 29, 2026Updated 5 months ago
- ☆24Apr 10, 2022Updated 4 years ago
- ☆13May 21, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- BinRec: Dynamic Binary Lifting and Recompilation☆148Sep 18, 2023Updated 2 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- ChampSim repository☆27Mar 6, 2025Updated last year
- ☆19Feb 23, 2023Updated 3 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆61Feb 12, 2024Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 9 years ago
- Simple tool for recording keyboard and mouse macros that can be played back later☆11Jun 22, 2018Updated 8 years ago
- Tools for analyzing and browsing Tarmac instruction traces.☆86Jun 5, 2026Updated 2 months ago
- ☆21Feb 6, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- [DEPRECATED] Virtual Machine for BlueByte☆11Feb 18, 2020Updated 6 years ago
- A GCC plugin implementing various stack canaries.☆14Sep 7, 2012Updated 13 years ago
- Hopscotch: A benchmark suite for memory performance evaluation☆15Apr 8, 2025Updated last year
- Nim binding for the Z3 theorem prover☆26Dec 25, 2023Updated 2 years ago
- bladeRF driver for SDR#☆11Oct 16, 2018Updated 7 years ago
- A Benchmark Toolkit for Assembly Instructions Using the LLVM JIT☆18Oct 26, 2020Updated 5 years ago
- Linux kernel source tree☆15May 6, 2021Updated 5 years ago
- Rerousces related to time-travel debugging (TTD)☆54Jul 2, 2026Updated last month
- 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.
- MARNNs Can Learn Generalized Dyck Languages☆12Nov 11, 2019Updated 6 years ago
- Lexical analyzer.☆10Jan 30, 2021Updated 5 years ago
- Library for interfacing with CDs☆10Updated this week
- Implements the "cucumber" BDD framework in the nim language.☆10Dec 27, 2016Updated 9 years ago
- TP-PARSEC: A Task Parallel PARSEC Benchmark Suite☆11Nov 1, 2020Updated 5 years ago
- A puzzle game that uses Real-Time Ray Tracing (RTX) for gameplay and rendering. Implemented in Vulkan 1.2 using VK_KHR_ray_tracing, based…☆12Dec 22, 2021Updated 4 years ago
- ☆10Feb 19, 2017Updated 9 years ago
- A Hex Editor implemented as a Ghidra Plugin☆18Aug 21, 2026Updated last week
- Autograd (backpropagation, reverse-mode auto differentiation) in Nim☆12Oct 25, 2017Updated 8 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.
- ☆11Mar 27, 2022Updated 4 years ago
- Extracting minimal DFA's from well-trained RNN's☆11Nov 26, 2018Updated 7 years ago
- ☆19Feb 18, 2021Updated 5 years ago
- Linux kernel SGX driver for Graphene☆12Nov 3, 2020Updated 5 years ago
- gem5 configuration for intel's skylake micro-architecture☆55Jan 6, 2022Updated 4 years ago
- Operating System Scheduling Algorithm Simulation☆11Apr 14, 2021Updated 5 years ago
- zlib-accel is a software shim to transparently offload zlib compression/decompression to hardware accelerators☆15Updated this week