Google core libraries for Java

AI-driven database tool and SQL client, The hottest GUI client, supporting MySQL, Oracle, PostgreSQL, DB2, SQL Server, DB2, SQLite, H2, ClickHouse, and more.

Empowering Data Intelligence with Distributed SQL for Sharding, Scalability, and Security Across All Databases.

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

Modern Java - A Guide to Java 8

Open source transactional distributed database. Linear scalability and proven fault-tolerance on commodity hardware or cloud infrastructure without compromising performance.

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly co…

Test Automation Made Simple

Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern

Yahoo! Cloud Serving Benchmark

The missing bridge between Java and native C++

Code Examples for the book "On Java 8"

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

The missing Java distribution of native C++ libraries

Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformati…

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

Automated testing to find logic and performance bugs in database systems

PolarDB-X is a cloud native distributed SQL Database designed for high concurrency, massive storage, complex querying scenarios.

RARS -- RISC-V Assembler and Runtime Simulator

Open source Java implementation for Raft consensus protocol.

Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.

JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.

分布式系统服务ZooKeeper的学习历程

StringTemplate 4

Property-based testing, JUnit-style

Grammar files support & parser/PSI generation for IntelliJ IDEA

The Arend Proof Assistant

A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.

Multi-DBMS SQL Benchmarking Framework via JDBC