Explore >> Select a destination

You are here

 vale.dev
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
| | www.evanmiller.org
A Taste of Rust - Evan Miller
3.8 parsecs away

Travel
| | A review of Rust, the programming language built for safety - not necessarily for comfort.
| | www.greyblake.com
Rust Knowledge Refinement | Serhii Potapov (greyblake)
4.3 parsecs away

Travel
| | A blog about software development.
| | verdagon.dev
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
0.0 parsecs away

Travel
| |
| | www.ralfj.de
Formalizing Rust
17.0 parsecs away

Travel
| My current research project - and the main topic of my PhD thesis - is about developing a semantic model of the Rust programming language and, most importantly, its type system. Rust is an ...