Spark is a unified analytics engine for large-scale data processing. It provides high-level APIs in Scala, Java, Python, and R, and an optimized engine that supports general computation graphs for data analysis. It also supports a rich set of higher-level tools including Spark SQL for SQL and DataFrames, pandas API on Spark for pandas workloads, MLlib for machine learning, GraphX for graph processing, and Structured Streaming for stream processing.

🚀傲星工具箱，一个在线工具箱

Core functionality needed to create .NET Core projects, that is shared between Visual Studio and CLI

ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.

Apache Airflow (or simply Airflow) is a platform to programmatically author, schedule, and monitor workflows.

https://github.com/leanprover-community/mathlib 的镜像仓库