RustyHermit - A Rust-based, lightweight unikernel. Contribute to hermitcore/rusty-hermit development by creating an account on GitHub. (more…)
Read more »
Fully cross platform dotfile manager and dev environment bootstrapper written in Rust. (more…)
Read more »
Paper
Talk at POPL
Technical Appendix
Coq Formalization
Artifact (with VM)
... (more…)
Read more »
FTRF, a new language that compiles to the r-word language. - GitHub - tompflynn/ftrf: FTRF, a new language that compiles to the r-word language. (more…)
Read more »
While we focus on Haskell at MMH, it's also good to branch out to other languages every once and a while. If you're a diehard Haskell developer, Rust is one of the more interesting languages to try out when you broaden your horizons. Its syntax has a lot ... (more…)
Read more »