AAditi Singla

Projects

13 builds across AI/ML agents, retrieval systems, data engineering, and systems programming. Every card opens a full case study with the problem, the design decisions, and the measured outcome.

012026

IneqMath Proof Agent

LLM agent that generates mathematical inequality proofs and verifies them with Lean 4, optimized with GEPA prompt evolution.

PythonDSPyGEPA (MIPROv2)
↗
022026

Paper2Beamer Agent

Autonomous agent that turns LaTeX research papers into polished Beamer presentations, controlled by natural language.

PythonLLM AgentsOpenAI API
↗
032025

NeuroSync

Facial + vocal emotion-fusion network detecting stress and engagement in real time, with chat and VR interaction modalities.

PyTorchReact 19TypeScript
↗
042025

NeuroChat

FastAPI retrieval-augmented generation service: document chunking, FAISS indexing, grounded generation with OpenAI or a free TinyLlama fallback.

PythonFastAPILangChain
↗
052025

CGAL GitHub Crawler

Rate-limited GitHub crawler + Flask dashboard that discovers and analyzes real-world CGAL (computational geometry) usage patterns at scale.

PythonFlaskPyGithub
↗
062025

Graduation Checklist Portal

Academic portal that automates graduation eligibility: CGPA recalculation, degree/honors/minors rules, unit-tested, used by the academic team.

AngularTypeScriptNode.js
↗
072023

Grad-Guru

Decision-support system integrating 10 scraped datasets into a 100,000+ record PostgreSQL warehouse with automated ETL and comparative analysis.

PythonPostgreSQLWeb scraping
↗
082025

NURO

Django + Google Gemini web app that turns a task name into structured, actionable steps, with an offline fallback when the LLM fails.

PythonDjangoGoogle Gemini
↗
092025

Student Portal

Django service wrapping 17+ academic-record APIs: graduation checks, grades, credit audits, honors and minors tracking.

PythonDjangoREST
↗
102024

Custom Linux Shell

A UNIX shell from scratch in C: internal and external commands via process forking and the exec system-call family, with readline history and threading.

CLinuxPOSIX
↗
112023

Custom ISA Assembler

Two-pass assembler for a custom 16-bit ISA with full syntax and semantic error reporting, down to the line number.

PythonComputer Architecture
↗
122025

Task Manager App

Cross-platform task manager on Expo SDK 53 and React Native 0.79 with Docker-based development setup and a demo video.

React NativeExpoTypeScript
↗
132025

Lumos Wickery

Multi-page storefront web app with product catalog, content pages, and a typed component system on Vite + Tailwind.

ReactTypeScriptVite
↗