Enso Analytics is a self-service data prep and analysis platform designed for data teams.

A better compressed bitset in Java: used by Apache Spark, Netflix Atlas, Apache Pinot, Tablesaw, and many others

*DEPRECATED* A slide-out menu implementation, which allows users to navigate between views in your app.

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…

Open Liberty is a highly composable, fast to start, dynamic application server runtime environment

Fast Parallel Async HTTP/SSH/TCP/UDP/Ping Client Java Library. Aggregate 100,000 APIs & send anywhere in 20 lines of code. Ping/HTTP Calls 8000 servers in 12 seconds. (Akka) www.parallec.io

The Arend Proof Assistant

Obsolete repository. Moved to oracle/graal.

Web-Scale Open Information Extraction

Java classes designed with optimizable object layout in mind

A proof assistant and a dependently-typed language

Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax, strict evaluation, for GraalVM polyglot virtual machine (VM).

My experimental programming language using Truffle

Educational Proof Assistant for Type Theory

A screen scraped API for AIB Internet Banking

Distributed Actor Framework for Java