Mention LyonSyonII's miri in the browser

bjorn3 · Jun 16, 2024 · 23c39fd · 23c39fd
1 parent 30ce6d1
commit 23c39fd
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -55,6 +55,10 @@ $ npx http-server
 
 And visit [http://127.0.0.1:8080/examples/rustc.html]() in your browser.
 
+A more complete demo by [@LyonSyonII](https://github.com/LyonSyonII) which runs
+miri inside the browser can be found at <https://garriga.dev/rubri/>. (source
+at <https://github.com/LyonSyonII/rubri>)
+
 ## Testing
 
 ```