浏览项目

Linkerd is an ultralight, security-first service mesh for Kubernetes. Linkerd adds critical security, observability, and reliability features to your Kubernetes stack with no code change required.

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

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.

Apache Beam is a unified model for defining both batch and streaming data-parallel processing pipelines, as well as a set of language-specific SDKs for constructing pipelines and Runners for executing them on distributed processing backends, including Apache Flink, Apache Spark, Google Cloud Dataflow, and Hazelcast Jet.

Flutter is Google's SDK for crafting beautiful, fast user experiences for mobile, web, and desktop from a single codebase. 

威注音输入法 macOS 版，基于小麦注音引擎二次开发、搭配威注音特制的简体中文专用辞库。是纯粹的简体中文注音输入法（也内赠原生繁体中文输入模式），更具诸多威注音特色功能。威注音及其专用官方词库均不包含任何在法理上无法传播的内容。

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