Pinned Loading

1. wikipedia_toolkit wikipedia_toolkit Public

   A toolkit for Wikipedia editors who wish to edit their pages easily.

   Python 11

2. FormalLogicJS FormalLogicJS Public

   数理逻辑（离散数学）实验平台

   JavaScript 1 1

3. convex-optimization convex-optimization Public

   鄙人正在翻译的凸优化教科书。

   CSS

4. machine-learning-2022fall machine-learning-2022fall Public

   HTML