Skip to content
View KCN-judu's full-sized avatar
:shipit:
λ
:shipit:
λ
30 followers · 86 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Organizations

@Luna-Flow

Block or report KCN-judu

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.

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
KCN-judu/README.md

Introduce

Education

  • B.Eng. in Industrial Design

Interests

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

Proficient & Learning PLs

  • Currently learning OCaml, Lean4(Formal Proof) and Rust.
  • Mainly use MoonBit.
  • Able to use C/C++, TS/JS, Haskell and Lean4.

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

logo

Pinned Loading

  1. Luna-Flow/stella Luna-Flow/stella Public

    WIP MoonBit proof assistant exploring dependent type theory, typed terms, and kernel-based proof checking.

    MoonBit 4

  2. Luna-Flow/linear-algebra Luna-Flow/linear-algebra Public

    Mutable and immutable matrix and vector libraries for MoonBit, with core linear algebra operations and decompositions.

    MoonBit 16 7

  3. Luna-Flow/luna-generic Luna-Flow/luna-generic Public

    Algebraic traits and default numeric instances that define the generic foundation for LunaFlow math packages.

    MoonBit 2

  4. Luna-Flow/calculus-numerical Luna-Flow/calculus-numerical Public

    Numerical calculus methods for MoonBit, including differentiation, quadrature, and related scientific computing routines.

    MoonBit 9 3

  5. Luna-Flow/luna-poly Luna-Flow/luna-poly Public

    Polynomial types and operations for MoonBit, designed as the reusable polynomial layer for symbolic and numeric workflows in LunaFlow.

    MoonBit 1