Dev Patel

TPTP Parser and Interpreter - Java, JavaCC |April 2025| Developed a complete parser and interpreter for the TPTP (Tiny Planar TelePorting) language, implementing lexical analysis, syntax validation, expression evaluation, and program execution with loop detection and error reporting.

Resolution Theorem Prover - Prolog |April 2025| Developed a comprehensive resolution-based theorem prover implementing conjunctive normal form conversion, atomic resolution rules, and logical consequence testing for propositional formulas with support for all primary and secondary connectives.

Network Intrusion Detection System - C, PCAP |November 2024| Developed a multithreaded packet sniffer using PCAP library to detect SYN flooding attacks, ARP cache poisoning, and blacklisted URL violations, implementing thread pool architecture for high-throughput packet analysis and manual network protocol header parsing.

Event Booking System Website - HTML, CSS, JavaScript, Flask, Python, SQLAlchemy |March 2024| Developed a web-based platform for event management, enabling superusers to create and modify events while allowing users to browse and book events.

Mock IMDB Program - Java |March 2024| Implemented custom data structures from scratch including HashMap with collision handling, Set operations, Linked List with iterator support, and Queue implementation to build a complete movie database system with full CRUD functionality.

Logo Turtle Graphics Parser - Haskell |March 2024| Developed a functional programming solution using Haskell to parse Logo command syntax, implement turtle state management, and generate visual graphics output through coordinate transformation and rendering algorithms.