- He/Him
- 中文/English/Français
- Specialized in Computer Science @ Centrale Nantes/Pékin
- Interested in Systems Programming and Developer Tooling
- Previous Intern @ AdaCore working on RecordFlux (Q2 - Q3 2022)
- Member @ Rust working on Rustup (Q3 2023 -)
rami3l / ecn-pappl-asp Goto Github PK
View Code? Open in Web Editor NEWNotebooks of ECN project "Coloring of Influence Graphs" in AnsProlog