- ๐ Hi there, I'm Xiaokun Luan, a PhD student at Peking University
- ๐ญ I'm currently interested in trustworthy deep learning, formal modeling and verification, and component-based formal specification language
- ๐ซ How to reach me: [email protected]
luan-xiaokun / langium Goto Github PK
View Code? Open in Web Editor NEWThis project forked from eclipse-langium/langium
Next-gen language engineering / DSL framework
Home Page: https://langium.org/
License: MIT License