Search

Search work, writing, and fragments.

work

A small body of work, chosen carefully.

Different domains, same standard: the work should be useful, understandable, and technically honest.

featured

2026

Protocol tooling / verification

SP-DIFFER

A correctness harness for BIP 352 Silent Payments implementations, with differential adapters, replayable regressions, and release-verification lanes.

Maintainer-acknowledged upstream bug reports across multiple implementations, with one reduced case later folded into merged BIP-352 test-vector coverage.

  • C++
  • Python
  • Rust
  • Go
  • Make

2026

Applied ML / decision support

Fluvius Predict

An uncertainty-aware hydropower decision system that turns ground-sensed river data, weather and melt signals, and plant availability into discharge forecasts and safer energy commitments.

Overall winner and Hydropower & Sustainable Energy Track winner at JunctionX Kathmandu 2026, earning Team Pikachu a Golden Ticket to the global Junction stage in Finland.

  • Python
  • LightGBM
  • PyTorch
  • FastAPI
  • React 19
  • TypeScript

2025

Full-stack software engineering

TestLoom

An exam-prep platform that turns scattered study material into a more usable learning system with OCR, adaptive practice, and collaborative tools.

One codebase carrying OCR ingestion, question banks, analytics, auth, and deployment, so it holds up as a full product build rather than a single polished feature.

  • Nuxt 3
  • Vue 3
  • Express 5
  • MongoDB
  • TypeScript
  • Tailwind CSS

2025-26

Computer architecture / verification

AXIOM-4

A 4-bit RISC-inspired microprocessor with banked memory, a custom ISA, and a verification workflow built in public.

Custom ISA, assembler tooling, and a simulation-first verification workflow that make the architecture testable rather than decorative.

  • Verilog 2005
  • Icarus Verilog
  • GTKWave
  • Python

more work

2026

Public-service translation

SANAD

A trust-first public-service document translation tool built for the Google TMT Hackathon 2026, with protected-entity checks, scoped memory, human review, and export-ready outputs.

  • Python
  • FastAPI
  • React
  • SQLAlchemy
  • SQLite
  • Docker

2026

Health informatics / validation systems

NIYAM

Claim validation layer for openIMIS that catches inconsistent or invalid health insurance claims before they reach manual review.

  • Python
  • openIMIS
  • FHIR

2026

Product engineering / search

PaperSorted

A static exam-paper archive for Kathmandu University with program-aware browsing, subject search, and inline PDF viewing across 561 subjects and 2,792 papers.

  • Astro
  • TypeScript
  • Node.js
  • PDF.js

2026

Mobile product / local-first

Last Light

A quiet Expo app for saving one palette and one word before sleep, with local storage, a monthly archive, and exportable keepsake cards.

  • Expo
  • React Native
  • TypeScript
  • AsyncStorage

2025-26

Privacy systems / full-stack build

ZK Guardian

A privacy-first healthcare prototype exploring zero-knowledge consent verification for FHIR workflows without exposing patient identity on-chain.

  • TypeScript
  • React Native
  • Expo
  • Express
  • Circom
  • Solidity

2025

Machine learning / computer vision

KU ID Verifier

An ID verification system that combines visual classification, dual OCR, and fraud checks in a usable workflow.

  • Python
  • PyTorch
  • Streamlit
  • EasyOCR
  • Tesseract