tshoang

tshoang's Stars

• edwardcrichton/BToolkit

  The BToolkit, a toolkit supporting software development with the B-method.

  Language:C35909

• klar42/railground

  This is a playground for studying railway models using formal methods.

  Language:Java5856

• eventB-Soton/Rodin-Bundles

  Rodin Platform Bundles that include features developed by our group

  Language:HTML3631

• A-R-Milne/COMP1202-SpaceCadets-C4-Client

  Challenge 4 - Create a client-server networked chat application (Client)

  Language:Java110

• A-R-Milne/COMP1202-SpaceCadets-C4-Server

  Challenge 4 - Create a client-server networked chat application (Server)

  Language:Java1

• Ab4g23/Week-4-Space-Cadets

  Language:Java1

• AInan05/Space_Cadets_4

  Language:Java1

• cipher1024/comp-calc

  Computation Calculus theorems and proofs

  1301

• prattling-pate/server-chat-client

  A very simple server chat client which allows for multiple users to talk over a network.

  Language:Java1

• Shayna003/chat-room

  Language:Java1

• TunZ04/Space-Cadets

  repository containing my submissions for the space cadets challenges hosted by UoS

  Language:Java1