Kiran V K
ReportAssistant Professor of CSE, NSS College of Engineering, Palakkad (Kerala). Builds free, open-source, no-login teaching labs for KTU engineering students.
Logic Lab
Step-by-step propositional and first-order logic practice; every line checked by a deterministic engine.
LEX-YACC Lab
Build, check and run LEX/YACC programs in the browser (LALR(1)); 52 lab programs verified on real flex/bison.
Wumpus Justify
Reasoning-graded Wumpus World: students justify every move; propositional KB, entailment and resolution.
8-Queens CSP Visualizer
Backtracking, forward checking and MRV, visualised step by step.
Vacuum World
Reflex, model-based and goal-based agents in the AIMA Vacuum World.
Running costs
Hosting, domain, CDN and a shared, rate-limited AI tutor (NVIDIA NIM / OpenAI) so every student gets hints and explanations without needing their own API key. ~450 lab visits since Sep 2026, growing each semester.
Development
New open labs for PECST522 Modules 4-5 and more CSL411 compiler-lab programs, exercise banks with verified reference solutions, accessibility and mobile fixes, Malayalam UI, and contributor onboarding (good-first-issues, docs) across the 5 repos.