atgeller/WASM-Redex atgeller/WASM-Redex

  • Stars
    star
    20
  • Rank 1,099,546 (Top 23 %)
  • Language
    Racket
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
atgeller/WASM-Redex
github

atgeller

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A model of the WebAssembly language in Redex

More Repositories

1

Wasm-prechk

Index Typed WebAssembly - it works on all machines!
Racket
6
star
2

Wasm-Prechk-Artifact

Contains software artifacts, benchmarks, and a dockerfile for Wasm-prechk
Dockerfile
1
star