现实的抽象是语言,语言的抽象是程序,程序的抽象是数理逻辑,数理逻辑的抽象是超越认知的真理。
我的项目
一个采用 Material Design 和响应式设计的 Hexo 博客主题。
这是 Spring Data JPA 复杂或动态 SQL 查询的扩展库。
这是 Typora Markdown 编辑器的类似 Vue 文档风格的主题。
这是一个简单的用来对 Java 代码做性能评估的工具库。
这是一个轻量级、零依赖、可定制化修改的 Java ASCII 表格生成库。
Blinkfox Java 编程风格指南,包含 checkstyle 和可导入 IDEA 中的格式化文件。