Skip to content
View LighghtEeloo's full-sized avatar
171 followers · 339 following

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report LighghtEeloo

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
LighghtEeloo/Readme.md

Hi there 🌟

Life is like a box of continuations. All we need is the next 700 do be do be do.

Investigating PL, System, Arch, and (the) ML stuff, for the sake of the welfare of all creatures, carbon-based or silicon-based alike.

Enjoy row polymorphism a lot. Like Rust and Ocaml. But above all, two hobbies of mine would conclude all the rest:

  1. come up with better-than-better abstractions, and
  2. specialize them as much as possible, and when permitted, in a reasonable fashion.

Pinned Loading

  1. zydeco-lang/zydeco zydeco-lang/zydeco Public

    a proof-of-concept programming language based on call-by-push-value

    Rust 66 2

  2. multorum multorum Public

    Avoiding merge conflicts by making invalid collaboration states unrepresentable.

    Rust 24 3

  3. magic-in-ten-mins-ml magic-in-ten-mins-ml Public

    十分钟魔法练习 in OCaml

    OCaml 37

  4. charcoal charcoal Public

    An online dictionary using youdao dict api. Inspired by wudao-dict.

    Rust 16 3

  5. lalrpop-lsp lalrpop-lsp Public

    An LSP implementaion for LR(1) parser generator LALRPOP, written in Rust.

    Rust 12 2