Skip to content
View seaurchinzee's full-sized avatar
🎨
🎨
  • Singapore
  • 18:12 (UTC +08:00)

Sponsoring

@jsdelivr

Achievements

Achievement: Public Sponsor

Achievements

Achievement: Public Sponsor

Block or report seaurchinzee

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. Markdown is supported. 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
seaurchinzee/README.md

👋 Hi, I'm Zhi!

I'm a software engineer from New Zealand currently working at a finance company in Singapore. I graduated from UNSW (University of New South Wales) in 2023, with a BSc in computer science. I'm interested in functional programming, formal verification, and developer tooling.

Popular repositories Loading

  1. seaurchinzee seaurchinzee Public

  2. ocaml-blockly ocaml-blockly Public

    Forked from kenichi-asai/ocaml-blockly

    OCaml visual programming editor based on Blockly.

    JavaScript

  3. metis metis Public

    Forked from gilith/metis

    An automatic theorem prover for first order logic with equality

    Standard ML