How many x86_64 instructions are there anyway?
☆23Mar 8, 2016Updated 10 years ago
Alternatives and similar repositories for x86_64-instruction-count
Users that are interested in x86_64-instruction-count are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic inference of a formal specification of the x86_64 instruction set☆72Apr 11, 2016Updated 10 years ago
- x86-64 assembler library☆490Jan 15, 2021Updated 5 years ago
- ☆13Jul 7, 2020Updated 5 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.☆17Feb 4, 2021Updated 5 years ago
- Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel☆46May 10, 2019Updated 7 years ago
- A suite of simple programs to test Intels' TSX extension☆14May 13, 2017Updated 9 years ago
- Tools built using Dyninst or Dyninst component libraries.☆27Mar 18, 2026Updated 2 months ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆63Feb 22, 2017Updated 9 years ago
- The x86_energy library allows to count power and energy values.☆12Dec 6, 2024Updated last year
- Overhead benchmarks for the perf_event subsystem☆15Feb 3, 2015Updated 11 years ago
- Expression-oriented fast file finder☆22Oct 21, 2018Updated 7 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.
- Artifact for the OOPSLA 17 DejaVu Paper☆10Jul 26, 2017Updated 8 years ago
- OS X style javascript notification center☆21Nov 1, 2016Updated 9 years ago
- Cachebench, with hacks to make it run on SmartOS / x86.☆11Feb 15, 2012Updated 14 years ago
- LLDB Commands cheat sheet for Dash☆27Apr 4, 2014Updated 12 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated last year
- Rand E Editor modified to compile on modern Linux☆11Feb 13, 2021Updated 5 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 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.
- A survey on architectural simulators focused on CPU caches.☆16Feb 8, 2020Updated 6 years ago
- Miscellaneous utility code for c++ projects.☆18Nov 4, 2018Updated 7 years ago
- Eggs.SQLite is a Modern C++ thin wrapper over SQLite☆14Aug 30, 2012Updated 13 years ago
- Re-randomizing the memory layout of a process at runtime☆22May 28, 2016Updated 9 years ago
- COATCheck☆13Nov 4, 2018Updated 7 years ago
- Linux kernel module for triggering a System Management Interrupt (SMI)☆16Sep 13, 2017Updated 8 years ago
- A simple browser-based presentation tool based on Markdown.☆23Oct 13, 2016Updated 9 years ago
- Implementation of a 32-bit single core risc-v platfrom for Xilinx zcu102 board☆12Nov 5, 2019Updated 6 years ago
- Voice Recognition using FPGA-Based Neural Networks☆15Jul 6, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- SDSoC example projects☆13Mar 13, 2021Updated 5 years ago
- A StableHLO analyzer in Lean☆21Jul 22, 2025Updated 9 months ago
- C++ library for Infineon's BGT60LTR11AIP Radar☆14Updated this week
- A simple SystemVerilog digital phase-locked loop based (roughly) on TI's SDLA005B application note. The design includes a SystemVerilog t…☆15Aug 29, 2022Updated 3 years ago
- Examine and discover LoongArch instructions☆23May 12, 2026Updated last week
- Using a usb scale to keep an eye on coffee status at the office☆22Jul 28, 2016Updated 9 years ago
- ☆13Aug 22, 2025Updated 8 months ago