Introduce

Education

• B.Eng. in Industrial Design

Inerests

• abstract algebra
• functional programming
• compiler
• lambda calculus
• embedded development
• circuit design​

Proficient & Learning PLs

• Currently learning Haskell, Lean4 and Rust.
• Mainly use MoonBit.
• Able to use C/C++, TS/JS, and read Haskell code.

Current Research / Project

Use Rust to write a compiler |

• Progress: writing a parser

Luna-Flow/luna-generic | link

• This is a library of general interfaces and abstractions for Luna-Flow Projects.

Luna-Flow/linear-algebra | link

• This is a linear algebra library written using MoonBit.

Luna-Flow/luna-poly | link

• This is a polynomial library written using MoonBit.

Luna-Flow/luna-complex | link

• This is a complex number library written using MoonBit.

dot means

active no recently changes bugs found archived

Reading List

Reading list here | link

Stats