RayXBuilds / Movie_Recommend

历史学习项目：Spark 电影推荐、爬虫、Web 与后台。新版持续开发见 cinematch-recommender。

Lean-MoDS / StatsMLlib

Verified probability, statistics, and learning theory in Lean 4

Dirkster99 / AvalonDock

Our own development branch of the well known WPF document docking library