Explore projects

https://cs.ru.nl/~dfrumin/wpc/index.html

Encode-decode method

Various snippets of code and small programs related to Iris

A mirror of ReLoC - Relational logic for fine-grained concurrency

https://gitlab.mpi-sws.org/iris/reloc/