Pinned Repositories
javatypestate
mungo
protocol-reengineering-implementation
rabbitmq-server
Open source RabbitMQ: core server and tier 1 (built-in) plugins
scribble-java
Core components for the Scribble Java tools
session-types-use-cases
This is a common repository for the ABCD team to share use-cases of session types.
vivas
MostlyScottishP
Data visualisation web application for Scottish Parliament
toTable.github
LauraVoinea's Repositories
LauraVoinea/protocol-reengineering-implementation
LauraVoinea/mungo
LauraVoinea/scribble-java
Core components for the Scribble Java tools
LauraVoinea/session-types-use-cases
This is a common repository for the ABCD team to share use-cases of session types.
LauraVoinea/vivas