Pinned Loading

1. certikosApp certikosApp Public

   Implementation of a secure, low-level application designed on CertiKOS formally verified operating system kernel. Simulation of an autonomous satellite critical susystems - environmental monitoring…

   C

2. webdev-library webdev-library Public

   A web-based application for managing a lending library. The frontend allows users to browse and borrow books, while admins manage inventory and loan records. The backend supports authentication, au…

   JavaScript

3. restaurant restaurant Public

   This application manages restaurant reservations, optimizes table allocation (including table merging for larger groups), and handles customer reviews. It evaluates query performance for operations…

   Python

4. nsga_ii nsga_ii Public

   This project uses the NSGA-II algorithm to optimize the placement of EV charging stations, considering factors like station locations, BESS capacity, and solar power efficiency.

   Python

5. project_security project_security Public

   This repository contains the mCertiKOS certified operating system kernel, focusing on security and formal verification using Coq and CompCert. It supports building and testing on bare-metal or QEMU…

   Coq 1

6. Assembly Assembly Public

   exercises in 8085, 8086, arduino, arm microprocessors. Assembly and C++ code.

   Assembly