atgeller / WASM-RedexLinks
A model of the WebAssembly language in Redex
☆21Updated 4 years ago
Alternatives and similar repositories for WASM-Redex
Users that are interested in WASM-Redex are comparing it to the libraries listed below
Sorting:
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year
- A Racket library for interacting with Idris over the IDE protocol☆31Updated 7 years ago
- The source for "Compiling with Dependent Types" (my dissertation)