Pinned Repositories
hrms
A sample HRMS system
serverless-permission-generator
An Online Application to generate AWS IAM permissions required for deploying a Serverless Framework stack.
Grading-Application
html
IIT_Workshop
sample project
Java
sachintha97.github.io
my personal site
snakes-and-ladders-board-game
spaceship-and-asteroids-arcade-game
B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB.
sachintha97's Repositories
sachintha97/Grading-Application
sachintha97/html
sachintha97/IIT_Workshop
sample project
sachintha97/Java
sachintha97/sachintha97.github.io
my personal site
sachintha97/snakes-and-ladders-board-game
sachintha97/spaceship-and-asteroids-arcade-game
B specification of a very simple version of the old Spaceship & Asteroids arcade game, using the B tools Atelier B & ProB.