GitHub repository: runtimeverification/immer
Primary language: C++
Description: Postmodern immutable and persistent data structures for C++