Popular repositories Loading

1. ltsa ltsa Public

   Verification tool for concurrent systems using FSP and Labelled Transition Systems, with LTS visualization, animation, and a working MSC plugin.

   Java 4

2. ctms ctms Public

   Django and MongoDB freight management platform: price, book, and track cargo by air, sea, road, or rail, with PDF invoices and an admin and staff dashboard.

   Python 1

3. smart-study-planner smart-study-planner Public

   A C++14 console-based study planner that turns subjects, deadlines, and effort estimates into a day-by-day study schedule, with progress tracking and deadline-risk warnings.

   C++ 1

4. tic-tac-toe tic-tac-toe Public

   A console-based two-player Tic-Tac-Toe game written in pure C99 with no external dependencies. Supports automatic save/resume and a persistent leaderboard tracking wins, draws, and total rounds.

   C 1

5. umsp umsp Public

   University Management System Portal

   HTML

6. Agronomy-Web-Application Agronomy-Web-Application Public

   Agricultural Assistant System

   HTML