Skip to content
View LighghtEeloo's full-sized avatar
  • University of Michigan
  • Ann Arbor

Sponsoring

@lpil

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only 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 49 3

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

    十分钟魔法练习 in OCaml

    OCaml 33

  3. charcoal charcoal Public

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

    Rust 11 3

  4. flow.er flow.er Public

    A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.

    Rust 53 3