- ๐ผ I'm an undergraduate @ SJTU-SPEIT.
- ๐ญ I'm currently working on Formal Verification with Coq Proof Assistant.
- ๐ฑ I'm currently learning algorithm verification, compiler and Rust dev skills.
- ๐ฏ I'm looking to collaborate on NixOS contribution.
- ๐ค I'm looking for help with compiler frontend.
- ๐ฌ Working languages: Chinese(Mandarin), English, French(mal T_T). Feel free to ask me anything about SJTU-SPEIT.
- ๐ซ How to reach me via e-mail: [email protected] / [email protected]
definfo / nixpkgs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nixos/nixpkgs
Nix Packages collection & NixOS
License: MIT License