Skip to content
View SaltedTan's full-sized avatar

Highlights

  • Pro

Block or report SaltedTan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
SaltedTan/README.md

Hi, I'm Sean 👋

I'm a final-year Advanced Computing (R&D) Honours student at The Australian National University, graduating in December 2026. I work on systems software: crash-consistent storage, compilers, and concurrent network services.

Right now

  • 🔬 Research assistant at ANU: building crash-consistent durable state across memory tiers. That means a write-ahead log and a persistent region allocator behind one persistence interface, covering both byte-addressable and block-backed media. It's written in Virgil inside the Wizard research VM.
  • 🧠 virgil-language-server: a Language Server for Virgil, written in Virgil on top of the compiler's own parser and type checker. Diagnostics, go-to-definition, and hover in Neovim and VS Code.
  • 🔋 CellKeeper: an open-source macOS menu-bar app for transparent, safety-first battery charge management. The charging policy engine is kept separate from the hardware and covered by 1,300+ tests.

Selected projects

Project What it is
traffic‑warden
Rust · Tokio · Axum
Concurrent HTTP reverse proxy with token-bucket rate limiting, round-robin load balancing, health-checked failover, and streamed bodies. Lock striping cut the rate limiter's hot path from ~25 ms to ~3 ms at 8 threads.
sysy‑compiler
C++17 · Flex · Bison
Compiler for SysY, a subset of C: Flex/Bison parsing, a polymorphic AST, Koopa IR, and a two-pass RV32I backend.
courtside‑alpha
Rust · Next.js · Python
Paper-trading system for live NBA prediction markets, built at UNIHACK 2026 in a team of two. I built the Rust execution engine and the Next.js dashboard; my teammate built the model.

Tools I reach for

Rust, C, C++, C#, Java, Python, TypeScript, Swift, React, Next.js, FastAPI, .NET, PostgreSQL, Redis, Linux, Docker, Git, WebAssembly

Previously

Co-founder & full-stack developer at Pookie Platforms · .NET intern at Sarawak Information Systems (SAINS) · Internal VP and Tech Lead at GDG on Campus ANU, where I co-built a campus AR scavenger hunt · Lead instructor at OzCode Academy

Get in touch

Happy to chat about systems, compilers, or research. Find me on LinkedIn.

Pinned Loading

  1. courtside-alpha courtside-alpha Public

    Forked from MasamiY0shida/courtside_alpha

    Paper-trading system for live NBA prediction markets: my Rust execution engine and Next.js dashboard against a teammate's ML model. UNIHACK 2026.

    Python

  2. sysy-compiler sysy-compiler Public

    Compiler for SysY (a C subset) in C++17: Flex/Bison front end, Koopa IR, and RISC-V (RV32I) code generation.

    C++

  3. traffic-warden traffic-warden Public

    Concurrent HTTP reverse proxy in Rust with token-bucket rate limiting, round-robin load balancing, and health-checked failover.

    Rust

  4. virgil-language-server virgil-language-server Public

    Unofficial language server for Virgil, written in Virgil on the compiler's own parser and type checker. Works in Neovim and VS Code.

    Python 1

  5. CellKeeper CellKeeper Public

    Open-source macOS menu-bar app for transparent, safety-first battery charge management (pre-alpha).

    Swift