Explore >> Select a destination

You are here

 verdagon.dev
Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection
| | vale.dev
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
41.7 parsecs away

Travel
| |
| | borretti.me
Type Systems for Memory Safety
58.8 parsecs away

Travel
| | A survey of type systems for memory safety.
| | vale.dev
Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge
50.0 parsecs away

Travel
| |
| | verdagon.dev
Vale's First Prototype for Immutable Region Borrowing
107.9 parsecs away

Travel
|