I'm an intensivist/anesthesiologist from Bali, Indonesia 🏝️
MY PROJECTS
- 🔭 composable-future — Formal theory of paradigmatic futures as composable algebraic structures (Python/Lean 4)
- 🔧 cargo-skill — Cargo subcommand for deploying layered AI agent skills in Rust projects
- 💡 idep — Lightweight, Rust-native AI-powered IDE (local-first, POSIX, ~2GB RAM target)
- 🐚 modsh — POSIX-compatible modern shell with an AI-native context engine (Rust)
- 🏥 clinical-rs — Clinical data workspace: medical codes, MIMIC ETL, clinical tasks (Rust)
- 🧬 multiomics-rs — Bioinformatics parsing workspace, including GEO SOFT format (Rust)
- 📐 ferriprove — Lean 4-compatible interactive theorem prover (Rust, 7-crate monorepo)
- 📊 tidyecon — broom + modelsummary for Python econometrics (Python/uv)
- 📈 awald — Open-source statistical computing desktop (Tauri 2 / SvelteKit / pyo3 / Polars)
- 🕸️ kawat — Rust reimplementation of trafilatura web content extraction
- 🗺️ diagramma — Conversation-aware diagram engine (Rust + WASM + TypeScript)
- 🗓️ balinese-calendar — Balinese Saka Calendar implementation (Rust)
- 🌏 nusantara-calendar — Multi-tradition Nusantara calendar workspace (Rust)
ABOUT ME
- 💡 Sharing, teaching, and discussing about clinical informatics, systems programming, and applying computation to medicine and traditional knowledge
- 🏠 Intensivist at RSUP Ngoerah · Doctoral candidate at Universitas Udayana · Based in Bali, Indonesia
- 👓 After work, I study formal methods, biomarker ML, and Balinese lontar manuscript digitization
- 💪 Actively contributing to the Rust ecosystem and open-source clinical/bioinformatics tooling
- ⚡ Fun fact: I debug ventilators and borrow checkers in the same shift
