Skip to content
View KCN-judu's full-sized avatar
❤️
λ
❤️
λ
32 followers · 88 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Organizations

@moonbit-community @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 5

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

    Trait-oriented linear algebra foundations for MoonBit, with checked APIs, backend wrappers, and mutable/immutable dense matrix and vector types.

    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/floating Luna-Flow/floating Public

    Arbitrary-precision binary, decimal, and ball arithmetic for MoonBit, with checked operations and explicit numeric semantics.

    MoonBit 2

  5. Luna-Flow/type_theory Luna-Flow/type_theory Public

    A formal semantic substrate for Luna-Flow symbolic computation, with binding, substitution, rewriting, evaluation strategies, and lambda/type-theoretic cores.

    MoonBit 2