# kframework/X86-64-semantics

<https://repo.masters-masters.com/en/repos/kframework/X86-64-semantics>

[Home](https://repo.masters-masters.com/en) › [kframework](https://repo.masters-masters.com/en/owners/kframework) › [X86-64-semantics](https://repo.masters-masters.com/en/repos/kframework/X86-64-semantics)

kframework/X86-64-semantics has 180 stars on GitHub. Its RepoMasters card: Prototype tier. Semantics of x86-64 in K Language: Assembly.

| Field | Value |
| --- | --- |
| Owner | [kframework](https://repo.masters-masters.com/en/owners/kframework) |
| Stars | 180 |
| Forks | 16 |
| Language | [Assembly](https://repo.masters-masters.com/en/languages/assembly) |
| License | None |
| Created | 2019 |
| Topics | x86-64, semantics, k-framework |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [kframework/X86-64-semantics](https://github.com/kframework/X86-64-semantics) |

## Repository

Semantics of x86-64 in K

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by kframework

- [kframework/c-semantics · ★ 333 · C · Alpha](https://repo.masters-masters.com/en/repos/kframework/c-semantics)
- [kframework/k-legacy · ★ 147 · Java · Prototype](https://repo.masters-masters.com/en/repos/kframework/k-legacy)
- [kframework/javascript-semantics · ★ 106 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/kframework/javascript-semantics)

## Nearby in Assembly

- [IDouble/x86-Assembly-Reverse-Engineering · ★ 181 · Assembly · Prototype](https://repo.masters-masters.com/en/repos/IDouble/x86-Assembly-Reverse-Engineering)
- [lrh2000/Xiaomi-bootloader · ★ 180 · Assembly · Prototype](https://repo.masters-masters.com/en/repos/lrh2000/Xiaomi-bootloader)
- [Mes0903/Cpp-Miner · ★ 180 · Assembly · Prototype](https://repo.masters-masters.com/en/repos/Mes0903/Cpp-Miner)
- [hgesser/ulix · ★ 179 · Assembly · Prototype](https://repo.masters-masters.com/en/repos/hgesser/ulix)
- [Baron-von-Riedesel/Dos64-stub · ★ 179 · Assembly · Prototype](https://repo.masters-masters.com/en/repos/Baron-von-Riedesel/Dos64-stub)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.