GitHub repository: vellvm/ctrees
Primary language: Coq
Description: An itree-like data-structure to additionally support internal non-determinism