CMAK（Apache Kafka的集群管理器，以前称为Kafka Manager）
CMAK（以前称为Kafka Manager）是用于管理群集的工具。 有关名称更改的详细信息，请参见下文。
CMAK支持以下内容：
管理多个集群
轻松检查群集状态（主题，使用者，偏移量，代理，副本分发，分区分发）
运行首选副本选择
生成带有选项的分区分配，以选择要使用的代理
运行分区的重新分配（基于生成的分配）
创建带有可选主题配置的主题（0.8.1.1与0.8.2+具有不同的配置）
删除主题（仅在0.8.2+上受支持，并记住在代理配置中设置delete.topic.enable = true
2021-02-06 09:04:41
1.01MB
1
GAPT：证明理论的通用架构
GAPT是主要在维也纳科技大学开发的证明理论框架。 GAPT包含证明理论和自动推论中常见的数据结构，算法，解析器和其他组件。 与自动交互定理证明者（其重点是证明的构造）相反，GAPT专注于证明的转换和进一步处理。
网站： ：
联系人：
例
GAPT支持的众多功能之一是的实现。 您可以通过以下方式在GAPT中自动生成Herbrand析取：
Escargot .getExpansionProof( fof " P(c) ∨ P(d) → ∃x P(x) " ).map(_.deep)
它返回以下Herbrand析取关系（右侧的量词已扩展）：
Some(
2021-02-06 09:04:39
45.01MB
1
Datadog Scala指标
使用Datadog和Cats监视以功能性Scala编写的应用程序的工具包。
该项目的目标是使大型监视尽可能容易。
除了基本的监视实用程序外，我们还提供了许多即插即用的模块来为您进行监视。 目前，这些是：
JVM监控
Http4s监控
快速开始
最新版本：
要添加所有软件包，请添加到build.sbt ：
libraryDependencies + = " com.avast.cloud " %% " datadog4s " % " latestVersion "
或从可用的软件包中选择：
依赖名称
笔记
"com.avast.cloud" %%
2021-02-04 18:14:00
63KB
1
prometheus_client_scala：用于Prometheus监控的Scala客户端
2021-02-04 18:12:57
59KB
1
akka型分布式状态博客：Lightbend博客文章的同伴回购-如何使用Akka Cluster分配应用程序状态
2021-02-04 18:12:53
182KB
1
flink-1.9.0程序,windows系统和linux系统都可以使用
2021-02-01 11:05:33
234.64MB
1