Explore projects

仅供娱乐，切勿当真

智源杯天文数据算法挑战赛 2020.1.15 - 2020.4.2

Data converter for omicron MATRIX files.

some codes related to exercises in the textbook '' Time Series Analysis and Its Application" (2nd Edition)

数理/地科 Python 作业的参考实现，每周作业截止时更新

Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"

Create augmentation examples from MultiNLI by subject-object inversion and passivizing.

https://github.com/seL4/sel4

https://sel4.systems/