Hi, I'm Shahjalal Mosharof

Computer science builder working across AI agents, full-stack products, formal verification, robotics, and systems programming.

View my GitHub profile

About Me

I enjoy turning difficult technical ideas into practical, interactive systems.

My projects range from AI-powered legal and financial tools to autonomous drone simulations, educational games, formal Lean proofs, robotics, networking, and low-level programming.

I care about building software that is:

• Explainable
• Testable
• Useful
• Honest about its limitations

I also create interactive tools and event experiences for the Computer Science Society of Nottingham.

Featured Projects

RinggitGuard

An Accounts Payable AI employee that coordinates seven operators, applies policy-based payment controls, and supports human review workflows.

Technologies: Next.js, TypeScript, FastAPI, Python, PostgreSQL, Docker

Juris

An AI legal assistant that audits Malaysian tenancy agreements using OCR and statute-grounded retrieval.

Technologies: Flutter, Dart, TypeScript, Gemini, Vertex AI, Firebase

Swarm Rescue

A search-and-rescue drone swarm with LLM coordination, distributed recovery, MCP controls, and multiple visualizers.

Technologies: Python, FastMCP, Pygame, Panda3D, Mesa

DOOM MASTER

A game-based Vim and Doom Emacs curriculum featuring a custom Vim engine, interactive drills, VimGolf challenges, and boss battles.

Technologies: React, JavaScript, Vite, Tauri, Rust

Nandgame

An educational digital-logic puzzle game with interactive circuit construction, real-time simulation, and truth-table validation.

Technologies: Next.js, TypeScript, React Flow, Zustand

AMR Mathlib

Formal Lean 4 proofs for an antimicrobial-resistance hospital-network model.

Technologies: Lean 4, Mathlib

More of My Work

• Human Bingo: An interactive event experience built for the Computer Science Society
• GitHub Workshop: Hands-on exercises for learning Git and GitHub
• MazzyPi: Robotics, line-following, and maze-solving experiments
• ServersAndClients: Network programming experiments in C
• Contact Management: A Win32 contact manager with search, persistence, and RSA-protected data
• ABB Robotics CRM: A full-stack customer relationship management system
• C Thingys: Experiments and recreational programming in C
• Systems Architecture: Assembly implementations of algorithms such as BFS and merge sort
• Coursework Computing: Scientific computing work using Scilab

Technology Stack

Languages

TypeScript, Python, JavaScript, C, C++, Dart, Assembly, PHP, Lean 4, Java, Rust, and SQL

Web and Mobile

Next.js, React, Flutter, Tailwind CSS, and Tauri

Backend and Infrastructure

FastAPI, Firebase, PostgreSQL, MySQL, Docker, and Fly.io

AI and Intelligent Systems

• LLM agents
• Retrieval-augmented generation
• OCR and document intelligence
• Model Context Protocol
• Multi-agent orchestration
• Vector search
• Human-in-the-loop workflows

Systems and Formal Methods

• Network programming
• Win32 development
• Arduino and robotics
• Distributed systems
• Lean 4 and Mathlib
• Algorithm design

What Interests Me

• Building AI agents with explicit policies and human oversight
• Making complex subjects learnable through games and simulations
• Grounding AI outputs in evidence
• Combining product development with low-level systems knowledge
• Applying software to legal access, financial controls, education, healthcare, and autonomous systems

Working Philosophy

Build the real thing.
Make its reasoning visible.
Test the difficult paths.
State the limitations honestly.
Keep learning across the stack.

Connect

Explore my projects on GitHub.