Solutions to some of the problems listed in Competitive Programming 4

rSTE with Automatic Abstraction

C++ Implementation of Binary Decision Diagrams for Propositional Formulae Manipulation

A multi-threaded rust rewrite of (a subset of) the PRISM model checker

Sunnie's Adventures in the Classsroom

Tree-sitter Grammar with Syntax Highlighting for PRISM/PRISM-games Probabilistic Model Checker

A collection of arbitary data structures written in C++

A simple assembler and instruction level simulator for Y86-64 Language from CS:APP Textbook

A Hanabi Game Server with Telegram Bot Client

Scientific Computing Library

A C++ implementation of Hanabi Game that can be played across the network.

A Crowd Funding Platform For Schools

Scala Implementation of a Tree-Walk Interpreter for lox

Helping the Visually Impaired Figure Out What Bus is Coming

Contains smaller code projects that I worked on!

A Mini Online Judge Server to help grade short programming assignments in python

A website to make shareable ToDo Lists. Build with React.js and Firebase.

A simple Hangman Clone with React.

A full stack CRUD website that uses MongoDB, Express.js, React.js, Node.js

My first React App, just testing out its functionalities

A Tic-Tac-Toe Game Written in Javascript

Dashboard for TJC Students during HBL