GeezerVison is showing github.com — ItsDeadlyProgrammer - Overview
harshuuuu
ItsDeadlyProgrammer
object Harshvardhan {
val education = "B.Tech CSE @ IIIT Bhopal · CGPA 9.29"
val role = "Software Engineer · Android & Kotlin"
val building = listOf("LLM-powered developer tools", "Online judges", "Kotlin Multiplatform apps")
val principle = "The LLM proposes. The sandbox proves."
val strengths = setOf("Kotlin", "C++", "Android", "Data Structures & Algorithms")
val openTo = "SDE internships & full-time roles"
val reachMe = "[email protected]"
}
|
01 · AI DEVELOPER TOOL
Finds the exact input that breaks your competitive-programming solution.
- An LLM writes test generators, checkers and brute forces; each must compile, pass samples and agree with the others before it is trusted
- Stress-tests ~1,000 inputs per minute in a hardened Docker sandbox (C++, Java, Python)
- Shrinks failures to a minimal counterexample and only marks a fix verified after re-running it
Java 21 Spring Boot Spring AI React PostgreSQL Redis Docker
|
02 · ONLINE JUDGE
An online judge built from scratch: Codeforces problems in, sandboxed verdicts out.
- Compiles once, then runs every test with CPU, memory and output limits, reporting the program's real peak memory
- Crash-safe queue: PostgreSQL leases with a reaper; Redis only wakes the workers
- A Docker container per submission when self-hosted; one Kotlin codebase ships Web (Wasm), Android and Desktop
Kotlin Ktor Compose Multiplatform PostgreSQL Redis Docker
|
|
|
03 · SYSTEMS VISUALIZER
Operating systems concepts you can watch run.
- CPU scheduling (FCFS, SJF, SRTF, Round Robin, Priority) with live Gantt charts and waiting/turnaround metrics
- Deadlock detection on resource allocation graphs with Banker's algorithm safe sequences
- Memory allocation (First, Best, Worst, Next Fit) with fragmentation analysis
Kotlin Multiplatform Compose Wasm MVVM
|
Source code for these projects is private. Recruiters and reviewers can email me for access.
| Languages |
Kotlin C++ C Java Python TypeScript JavaScript Dart SQL |
| CS Core |
Data Structures Algorithms Competitive Programming Operating Systems DBMS OOP |
| Mobile & Frontend |
Jetpack Compose Compose Multiplatform Android Flutter React |
| Backend |
Ktor Spring Boot Spring AI Spring Security JPA / Hibernate Node.js REST WebSockets SSE |
| Data |
PostgreSQL pgvector MySQL Redis Firebase Cypher |
| DevOps |
Docker GitHub Actions Gradle Git Linux Netlify Render |
| AI / ML |
PyTorch Transformers scikit-learn LLM integration Ollama Gemini |
| Testing |
JUnit 5 MockK JaCoCo OpenAPI / Swagger |
Pinned
Loading
-
StressBugger: AI-guided stress tester for competitive programming. Documentation, architecture, demos (source code private).
-
CodeForge: online judge built from scratch in Kotlin with sandboxed execution. Documentation, architecture, demos (source code private).
-
-
-
-
Uh oh!
There was an error while loading. Please reload this page.
|