Some notes on Rust, mutable aliasing and formal verification

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
hardware-buttons scrape-images linkedin-bot

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • bacon-rajan-cc

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • bacon-rajan-cc

  • samsara

    a reference-counting cycle collection library in rust

    https://github.com/chc4/samsara is also worth looking into, implementing the same concurrent GC algorithm for Rust.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Garbage Collected Smart Pointers in Rust via Concurrent Cycle Collection

    4 projects | news.ycombinator.com | 13 Dec 2024

  • Tracing Garbage Collection for Arenas

    4 projects | news.ycombinator.com | 26 Jun 2024

  • I built a garbage collector for a language that doesn't need one

    3 projects | news.ycombinator.com | 14 Aug 2023

  • Novel Garbage Collection Technique for Immutable Cycle-Free Data

    1 project | /r/haskell | 31 Dec 2020

  • Why choose async/await over threads?

    11 projects | news.ycombinator.com | 25 Mar 2024