vellvm / ctrees

An itree-like data-structure to additionally support internal non-determinism
14Updated last month

Related projects

Alternatives and complementary repositories for ctrees