X86-64-semantics Alternatives

Similar projects and alternatives to X86-64-semantics

riscv-formal

10 550 0.0 Verilog X86-64-semantics VS riscv-formal

RISC-V Formal Verification Framework
hs-arm

1 25 10.0 Haskell X86-64-semantics VS hs-arm

(Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better X86-64-semantics alternative or higher similarity.

Suggest an alternative to X86-64-semantics

X86-64-semantics reviews and mentions

Posts with mentions or reviews of X86-64-semantics. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-01-30.

Machine readable specifications at scale
3 projects | /r/ProgrammingLanguages | 30 Jan 2022

I guess I already ran into this argument in practice, with ISAs. For x86 there is an external machine-readable specification (semantics) in the K framework, built by fuzzing and reading the documentation.