Skip to content
Watching the model train
Watching the model train



Block or Report

Block or report SOF3

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.

Report abuse

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

Report abuse

BEng(EngSc), University of Hong Kong (2021), Major in Computing & Data Analytics, Minor in Mathematics

About Me

  • Rust: Almost all my serious personal projects are written in Rust.
  • Type-driven: I adopt type-driven development. I tend to express most code concepts with the type system. For example, I use newtype pattern extensively for basic numeric types, and assertions about types are expressed in wrapper types.
  • Plaintext only: I avoid working with files that cannot be managed by Git. This means I avoid committing images (unless they won't be modified or in SVG) into a repo, and I don't like producing multimedia.
    • For documents, I use Markdown and LaTeX and generate the PDF on CI.
    • For graphs, I use GraphViz and compile the image on CI.
  • Vim: My primary IDE is NeoVim + coc.nvim. On mobile, I develop with Vim over SSH. My setup is updated here.
  • Linux: My personal computer runs on Ubuntu. I use Bash as the default shell. My setup is here.
  • Other preferences:
    • Scripting languages: Bash, Python and NodeJS.
    • JVM language: Kotlin.
    • Deployment: Docker on Alpine Linux image.

Highlighted projects

I have started a lot of open-source projects for personal interest, but many are incomplete because of lack of time and financial support. Incomplete projects are marked as .

Some of these projects were not created or maintained by me, but I included them here as I have contributed a substantial amount of code to them.

Programming languages

  • await-generator, a PHP library that enables async/await pattern
  • dirmod, a Rust macro to smartly detect modules to include
  • rwlock-promise, a JavaScript library that implements mutually-exclusive and shared-exclusive locks with a Promise API
  • thisrc, a PHP extension that observes the refcount of the $this object without inducing side effects
  • libglocal-idea-plugin, an intellij plugin for editing libglocal language files
  • xylem, a Rust framework for statetul type conversion (a post-deserialize processing stage).

I have also created numerous tiny macros and libraries in Rust, but those generally have very ad-hoc purposes and are not known to have any other users. Examples include serde-iter, count-write, xias, qualify-derive, etc.

Game development

  • PocketMine-MP, a reverse-engineered Minecraft server software.
    • PocketMine-MP has a huge ecosystem of plugins, and most of my work in earlier years were related to developing tools and cohesion of the ecosystem, such as dependency management, build tools and common-dependency APIs.
    • PocketMine-MP is an ancient project started in 2012. Some of my contributions include introducing modern tools and paradigms to the project.
  • Traffloat, a 3D web game written in Rust.

Operating systems

  • gping, a command-line visualization of the ping command
  • include-flate, a Rust macro for attaching constants as deflated strings in the executable.
  •, a Rust library for the PHAR (PHp ARchive) format. Also includes a WASM app and a CLI command for phar manipulation.
  • enclavlow, my final year project that performs Java flow analysis to verify SGX data security.
  • signed-vimrc, a vim plugin that loads PGP-signed .vimrc files in cwd
  • pathetique, an object-oriented abstraction of OS paths in PHP


I was a member of the HKU Robocon Team.

Web development

  • octorest, generated Rust bindings for the GitHub API (can adapt to other OpenAPI implementations too)
  • webcord, a webapp + discord bot that mirrors a discord chat

Android development

Discord bots

The Discord bots I write follow minimalistic approach and rarely have sophisticated framework.

  • bthint, a bot that tries to extract syntactically correct code from chat messages
  • boredphoton, a minimalistic bot for alerting spam raids
  •, a fan project that reverse engineers the API of the webgame and mirrors live games
  • blob-mirror, a bot mirroring GitHub markdown files to Discord.
  • webcord, a webapp + discord bot that mirrors a discord chat

Other accounts

Pinned Loading

  1. A server software for Minecraft: Bedrock Edition in PHP

    PHP 2.6k 1.5k

  2. A library to use async/await in PHP using generators.

    PHP 53 6

  3. A cooperative web game of 3D logistics and space city building.

    Rust 15

  4. dirmod Public

    Automatic `mod` declaration with visibility/re-export customization, conditional compilation and more.

    Rust 9

  5. A variant of include_bytes!/include_str! with compile-time deflation and runtime lazy inflation

    Rust 99 2

  6. 1
    ### Keybase proof
    I hereby claim:
      * I am sof3 on github.

Contribution activity

December 2021

Created 8 commits in 2 repositories
Created 1 repository
Reviewed 1 pull request in 1 repository
poggit/poggit 1 pull request

Seeing something unexpected? Take a look at the GitHub profile guide.