Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)

The Clojure programming language

Fibers, Channels and Actors for the JVM

Soot - A Java optimization framework

一个安全的能够自我进化的 AI 应用开发平台

Automated testing to find logic and performance bugs in database systems

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Framework to interpret and transpile JVM bytecode to JavaScript, OpenCL or WebAssembly.

The Arend Proof Assistant

Eclipse Layout Kernel - Automatic layout for Java applications.

Create and render web UIs in Java, SWT, Swing, JavaFX(coming soon), and Eclipse RCP applications.

Distributed Fine-Grained Finite State Machines with Kafka

Thin EMF persistence layer