Aaron Yeoh Cruz (@zeyonaut)
github

zeyonaut

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 972,962 (Top 34 %)
  • Followers 9
  • Following 15
  • Registered over 10 years ago
  • Most used languages
    Rust
         42.9 %
    Agda     28.6 %
    Lean     14.3 %
    C++
         14.3 %
  • Location πŸ‡ΈπŸ‡¬ Singapore
  • Country Total Rank 7,066
  • Country Ranking
    Agda     1
    Lean     1
    Rust
         129
    C++
         901

Top repositories

1

semantics-agda

Operational semantics proofs, translated from the notes of the 2022-2023 Semantics of Programming Languages course at Cambridge.
Agda
3
star
2

isogon

An experimental dependently-typed programming language for performance-critical software.
Rust
3
star
3

chernobot

Singapore American School (SAS) MATE robotics codebase [2017-2019]
C++
1
star
4

tetragon

A compiler for a toy functional language, featuring LALR(1) parsing, closure conversion, CPS conversion, and assembly generation.
Rust
1
star
5

hott-study

Personal notes on homotopy type theory
Agda
1
star
6

pcf-lean

Denotational semantics with Ο‰-CPOs for PCF, translated from the 2023-24 course at Cambridge.
Lean
1
star
7

inksy

An infinite scratchpad for effortless chirography.
Rust
1
star