Pinned Repositories
HO
Higher Order session pi
discotec.github.io
The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques
reversible-debugger
A causal-consistent reversible debugger for µOz in Haskell. Inspired by CaReDeb
japerezp.github.io