Popular repositories Loading

1. provably-safe-sandboxing-wasm-usenix22 provably-safe-sandboxing-wasm-usenix22 Public

   Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"

   WebAssembly 37 1

2. rWasm rWasm Public

   A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler

   Rust 36 7

3. vWasm vWasm Public

   A formally-verified provably-safe sandboxing Wasm-to-native compiler

   OCaml 27 1

4. veri-titan veri-titan Public

   Verifying OpenTitan

   Dafny 26 4

5. human-eval-verus human-eval-verus Public

   Rust 19 10

6. trex trex Public

   🦖 Reconstruct Types from Binary Code

   Rust 17