Explore projects

Part of btcd

Files belonging to submission 35 for NFM'21

LaTeX repository for thesis proposal

LaTeX repository for thesis document

Spark project accompanying thesis document

Shared library files (for e.g. LaTeX)

Extending the cost analysis with cost over time

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

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