Inline Markdown rendering in VS Code+JS, CSS
Inline Markdown preview for VS Code, inspired by Typora: images, LaTeX, Mermaid diagrams, tables and more render inside the editor. 47 stars on GitHub, 4.4k+ installs.
Projects
Bracket colorizer for VS Code+160k+ installs
Multi-color highlighting of matching brackets in VS Code. A fork that continues the original Rainbow Brackets extension.
Operon prediction web server+Python, deep learning
A web server that predicts operons in prokaryotic genomes with a deep-learning model. My B.Tech project at IIT Guwahati, published in the Journal of Molecular Biology.
Formal proofs for five papers+Lean 4, Mathlib
Lean 4 formalizations of the main theorems of five papers: convex four-body uniqueness, the 3×3 matrix multiplication rank over F2, the four-body count, Smale’s sixth problem for five bodies, and its generic-mass case for six bodies.
Knowledge graphs+Python, LMDB
A graph-based knowledge store with a plain-text Vim interface, fuzzy search, and end-to-end encrypted sync over Git or Firebase.
Deep learning for fire danger+Python, PyTorch
Team project in ECMWF's Summer of Weather Code 2020: deep-learning models that aim to reproduce the fire-danger forecasts of ECMWF's GEFF system.
VPN topology merging+Python, TS/React
Built during my Cisco internship (2021): merges point-to-point VPN topologies into hub-and-spoke ones in Cisco Firepower Management Center.
Route optimization+Python, Streamlit
Team hackathon project with Pooja Dhane: plans delivery routes for mixed vehicle fleets from several distribution points, and shows them on a map.
Faster IoT network joins+C, Contiki-NG
A Contiki-NG change that adapts the channel-scan period while 6TiSCH nodes join a network, evaluated in the Cooja simulator.
List continuation for VS Code+3k+ installs
Continues Markdown lists and quotes when you press Enter.