Programming Language, Formal Methods Researcher /
Smart Contract Auditor /
Haskell/Rust programming
- 
                  Australian National University
 - Melbourne
 - 
        
  20:27
  
(UTC +11:00)  - https://emmayanliu.bitbucket.io
 - @yanliu0xzz
 - in/yanliuemma
 
Popular repositories Loading
- 
      wordle-tut
wordle-tut PublicThe exercises in the MicroKit's [Wordle game tutorial](https://docs.sel4.systems/projects/microkit/tutorial/welcome.html).
C 1
 
          Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
  If the problem persists, check the GitHub status page or contact support.



