ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

The Apache Tika toolkit detects and extracts metadata and text from over a thousand different file types (such as PPT, XLS, and PDF).

Mirror of Apache PDFBox

JLine is a Java library for handling console input.

A Persistent Java Collections Library

海阔视界

A proof assistant and a dependently-typed language

Disk-based B+-tree written in Pure Java

Higher kinded types for Java

A powerful, easy-to-use, modern Java core library for the future

连接