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
- ☆14Jul 7, 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.☆18Feb 4, 2021Updated 5 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel☆47May 10, 2019Updated 7 years ago
- Toolkit providing a .NET CIL to JavaScript transcoder and (todo...) Visual Studio project/debugging integration☆18Sep 22, 2012Updated 14 years ago
- some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.☆15Aug 30, 2019Updated 7 years ago
- Tools built using Dyninst or Dyninst component libraries.☆28Mar 18, 2026Updated 6 months ago
- Hardware performance counter tool for Windows OS☆18Sep 4, 2018Updated 8 years ago
- Implementation of a 32-bit single core risc-v platfrom for Xilinx zcu102 board☆13Nov 5, 2019Updated 6 years ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆64Feb 22, 2017Updated 9 years ago
- Overhead benchmarks for the perf_event subsystem☆14Feb 3, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Expression-oriented fast file finder☆22Oct 21, 2018Updated 7 years ago
- The x86_energy library allows to count power and energy values.☆12Dec 6, 2024Updated last year
- A conda-smithy repository for memory_profiler.☆12Apr 22, 2026Updated 5 months ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- A repo which demonstrates how to implement local auth with express 4.x and passport.js☆14Mar 20, 2017Updated 9 years ago
- Cachebench, with hacks to make it run on SmartOS / x86.☆11Feb 15, 2012Updated 14 years ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated last year
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 13 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Miscellaneous utility code for c++ projects.☆18Nov 4, 2018Updated 7 years ago
- ☆14Mar 28, 2020Updated 6 years ago
- Linux kernel module for triggering a System Management Interrupt (SMI)☆16Sep 13, 2017Updated 9 years ago
- Examine and discover LoongArch instructions☆25Sep 5, 2026Updated last month
- A StableHLO analyzer in Lean☆23Jul 22, 2025Updated last year
- A simple SystemVerilog digital phase-locked loop based (roughly) on TI's SDLA005B application note. The design includes a SystemVerilog t…☆16Aug 29, 2022Updated 4 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Jun 7, 2013Updated 13 years ago
- This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews shoul…☆13May 15, 2020Updated 6 years ago
- OS X style javascript notification center☆21Nov 1, 2016Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A program that descrypts C type declarations. Implemented as an exercise for "Expert C Programming" book.☆12Aug 16, 2015Updated 11 years ago
- ☆17Jul 23, 2025Updated last year
- code for examining determinism of performance counters☆22Mar 18, 2021Updated 5 years ago
- Import new PDFs from Zotero into DEVONthink☆19Feb 10, 2022Updated 4 years ago
- An easy-to-use interface to the Linux perf_event API.☆20Nov 24, 2012Updated 13 years ago
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆19Sep 21, 2026Updated 2 weeks ago
- ☆28Sep 28, 2026Updated last week