Pinned Repositories
FinalYearProject
Code
FSPtoPetriNet
This project is a visualization tool to convert an FSP specification to a Petri Net
Lecture-Zero
nominal
Haskell implementation of nominal datatypes and functions
SmartSewage
Server for the project on Smart sewage system
Unity3DSimonGame
SmartSewage
Server for the project on Smart sewage system
bestofsaiv's Repositories
bestofsaiv/FinalYearProject
Code
bestofsaiv/FSPtoPetriNet
This project is a visualization tool to convert an FSP specification to a Petri Net
bestofsaiv/Lecture-Zero
bestofsaiv/nominal
Haskell implementation of nominal datatypes and functions
bestofsaiv/SmartSewage
Server for the project on Smart sewage system
bestofsaiv/Unity3DSimonGame