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

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

wangEditor 是一款使用 Typescript 开发的 Web 富文本编辑器， 轻量、简洁、易用、开源免费。兼容常见的 PC 浏览器：Chrome，Firefox，Safar，Edge，QQ 浏览器，IE11。

这份 Rails 风格指南推荐的是 Rails 的最佳实践，现实世界中的 Rails 程序员据此可以写出可维护的高质量代码。我们只说实际使用中的用法。指南再好，但里面说的过于理想化结果大家拒绝使用或者可能根本没人用，又有何意义。

这份 Ruby 风格指南推荐的是 Ruby 的最佳实践，现实世界中的 Ruby 程序员据此可以写出可维护的高质量代码。我们只说实际使用中的用法。指南再好，但里面说的过于理想化结果大家拒绝使用或者可能根本没人用，又有何意义。

UFW全称为Uncomplicated Firewall，是Ubuntu系统上配置iptables防火墙的工具。UFW提供一个非常友好的命令用于创建基于IPV4，IPV6的防火墙规则。 但是，UFW是没有界面的，就是用命令的那一种，所以，操作起来就不是那么的方便，有人帮它写了个界面，名字就叫做“Gufw”。

etcd 是一个高可用的 Key/Value 存储系统，主要用于分享配置和服务发现。etcd 的灵感来自于 ZooKeeper 和 Doozer，侧重于：简单：支持 curl 方式的用户 API (HTTP+JSON)；安全：可选 SSL 客户端证书认证；快速：单实例可达每秒 10000 次写操作；可靠：使用 Raft 实现分布式

该系列文集主要介绍的是，关于Linux下的Shell编程基础

Google Java编程风格规范 gitbook 版本，内容来至Hastein的中文翻译。

Apache Hop（Hop Orchestration Platform）是一个灵活、元数据驱动的数据编排、工程和集成平台的基于Java的可视化设计器、服务器和配置工具。