adrianfrancalanza

Pinned Repositories

• discotec.github.io

  The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques

  Language:HTML23225

• Grits

  Type-checker and interpreter for intuitionistic session types written in Go

  Language:Go1200

• sym-cont

  A tool that checks for monitor controllability.

  Language:OCaml00

adrianfrancalanza's Repositories