- 🔭 I’m currently studying for a master's degree in Chalmers tekniska högskola.
- 🌱 I’m currently learning Category theory & type theory (especially HoTT) & Agda & Compiler & almost everything about CES & EE.
- 🧩 Famous repositories I contributed to: rust-analyzer, TiDB, TiKV
- 📫 How to reach me: longfangsong@icloud.com
- ✒️ Please do view my Blog!
👨💻
Working
一个纯粹的码农
- Göteborg, Sverige
-
21:45
(UTC +01:00) - https://longfangsong.github.io
- @longfangsong
- @longfangsong@mathstodon.xyz
- https://t.me/longfangsong
Highlights
- Pro
Pinned Loading
-
synyi/poplar
synyi/poplar PublicA web-based annotation tool for natural language processing (NLP)
-
-
-
SHUReeducation/autoAPI
SHUReeducation/autoAPI PublicCreate an CRUD API server directly from a table in database or/and a yaml file.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.