← Latest products

Scope-structured arena memory for C

O(1) cleanup, no GC/borrow checker. Arena-based memory model for compiled languages — automatic O(1) heap reclamation at scope exit, no GC, no borrow checker, no manual frees. Allocation routing is resolved at compile time via user-defined lifetime scopes. Includes a C macro shim PoC and benchmarks. Ariandel is a memory model where every heap object lives in a scope-owned arena.

Open source

4 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Axe

    axelang.org

    A Systems Programming Language with Builtin Parallelism and No GC

    Hacker News16 pts

  2. Cachekit

    github.com

    High performance caching policies library in Rust

    Hacker News47 pts

  3. Quite Fast

    github.com

    sharded cache for Go with LRU/LFU, TTL and object pooling

    Hacker News12 pts

  4. I wrote a tool in Rust for tracking all allocations in a Linux process

    github.com

    allocscope - a memory tracking tool

    Hacker News113 pts

  5. Cuq

    github.com

    Formal Verification of Rust GPU Kernels

    Hacker News94 pts