UlfNorell/x86-agda

Inline, type safe X86-64 assembly programming in Agda

Agda

70

56 commits

updated Jan 3, 2019

See the code

README

Type-safe inline assembly code.

Contributors

UlfNorell

55 commits

gallais

1 commits

UlfNorell/x86-agda

Inline, type safe X86-64 assembly programming in Agda

Agda

70

56 commits

updated Jan 3, 2019

See the code

README

Type-safe inline assembly code.

Contributors

UlfNorell

55 commits

gallais

1 commits

Languages

Agda

99.0%