Hi there 👋

• ✍️ Occasional blogs

• 🔭 I’m currently:

  • Reading technical books on free time
  • Occasionally GPU programming

• ✋ Paused:

  • Building operating system kernel with Rust
  • Building a stack based bytecode interpreter
  • Building a simple B-tree based SQL database from scratch

• 👻 Past work:

  • VeriRISCy: Instruction pipelined RISC processor implementation
  • Distributed file system based on Frangipani paper
  • Unix-like shell (IO redirection, background jobs)
  • WebGL based Video VFX
  • LSTM-based music generation
  • Online price tracker with chrome extension
  • Content aware image resizing
  • Raytracing based 3D renderer
  • DNS resolver similar to dig

• 🌱 Self-study notes:

  • Linux system programming
  • Verilog voyage: learning verilog
  • Study of concolic execution
  • Coq proof assistant
  • VHDL voyage: learning VHDL

• 🧪 Experiments:

  • Playing with SMT solvers
  • SAT solver based on DPLL algorithm
  • Shader programming
  • Rasterization based 3D renderer
  • Algorithms & Datastructures
  • Three.js experiments

• 🔭 Thinking of doing next

• 🗃️ Other projects (apps & games)