Reimagining Memory Safety: Borrow Checking Goes Dynamic

This experiment challenges the notion that memory safety requires strict static typing by implementing a low-overhead dynamic borrow-checker. By utilizing stack-based reference counting, it allows developers to enjoy Rust-like memory guarantees within flexible, dynamically-typed environments without sacrificing performance.