Agda，一种依赖类型编程语言/交互式定理证明器。

Agda，一种依赖类型编程语言/交互式定理证明器。

Apache ActiveMQ 是最流行的开源、多协议、基于 Java 的消息代理。

Apache ActiveMQ 是最流行的开源、多协议、基于 Java 的消息代理。

Apache ActiveMQ 是最流行的开源、多协议、基于 Java 的消息代理。

微人事是一个前后端分离的人力资源管理系统，项目采用 SpringBoot+Vue 开发，项目加入常见的企业级应用所涉及到的技术点，例如 Redis、RabbitMQ 等。

Apache Dubbo 是一款微服务框架，为大规模微服务实践提供高性能 RPC 通信、流量治理、可观测性等解决方案，涵盖 Java、Golang 等多种语言 SDK 实现。

LeetBook理论上不是一本书，它是我做leetcode已来的一些笔记，总结。

Java / Android 笔试、面试 知识整理

Kubernetes，用于自动部署，扩展和管理容器化应用程序的开源系统。