Hana 是一个元编程库，提供异构容器和算法，用于类型和值的计算.

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

ksonnet是一个用于编写，共享和部署Kubernetes应用程序清单的框架

本书是根据最新的ANTLR 4语法编写的简明教程，源于我在阅读《The Definitive ANTLR 4 Reference》时做的读书笔记，增加了部分全新的内容。

C 资源大全中文版，包括了：构建系统、编译器、数据库、加密、初中高的教程/指南、书籍、库等。

Crawlab 是一个使用 Golang 开发的分布式爬虫管理平台，支持Python、NodeJS、Go、Java、PHP等多种编程语言以及多种爬虫框架

本文是介绍如何编写一个前端框架的，是基于 RisingStack 公司的工程师写的前端框架 NX。

Crawlab 是一个使用 Golang 开发的分布式爬虫管理平台，支持Python、NodeJS、Go、Java、PHP等多种编程语言以及多种爬虫框架.

GF(Go Frame)是一款模块化、松耦合、轻量级、高性能的Go语言Web开发框架。支持热重启、热更新、多域名、多端口、多服务、HTTP/HTTPS、动态路由等特性，并提供了Web服务开发的系列核心组件，如：Router、Cookie、Session、服务注册、配置管理、模板引擎、数据校验、分页管理、数据库ORM等等等等，并且提供了数十个实用开发模块集，如...

最近在阅读《Java并发编程之美》这本书，为了督促自己啃完这本书，计划每读完一章写一篇阅读笔记，供以后参考。