shiromi-basil Goto Github PK

arc-r3act

Application Review Classifier (ARC) - SDGP

audio-vizzion

A web application to add product details into MySQL database using PHP.

computer-consultancy-firm

A java application which manages details of employees, customers and contracts of a firm using JavaFX for the front-end and MySQL database.

docs-apim

docs-ei

drop

An android mobile app which helps hospitals to find blood donors nearby in case of emergency.

dupatha

A demo website based on the tourist attractions in Sri Lanka.

esb-connector-mongodb

This connector is used to execute mongodb operations on a integration flow

home-gourmet

A web application for delivering home-cooked meals.

homteq

A demo e-commerce website developed using PHP and MySQL.

identity-apps

magic-square

A java application which determines whether a number square is a magic square and/or a lo-shu square.

max-flow-network

A java application that calculates the maximum possible flow that the network would allow to flow from source to sink.

rental-vehicle-system

A web application which implements a basic system to manage a rental vehicle firm.

snakes-and-ladders

A B specification of a Snakes & Ladders board game, using the B tools Atelier B & ProB.

spaceship-and-asteroids

A B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB.

student-bank-account

An FSP and Java program to model a student's Bank Account & the concurrent transactions on the account performed by a collection of individuals and the organisations.