Reformats Java source code to comply with Google Java Style.

Google Go language IDE built using the IntelliJ Platform

Java bindings for Skia

Processing 4.x releases for Java 17

Building modern, elegant and fast Swing applications

Grammar files support & parser/PSI generation for IntelliJ IDEA

Java bindings for Skia

Code, exercises and solutions from the book "Functional Programming in Java"

A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.

JavaSMT - Unified Java API for SMT solvers.

TurnKey artifact for Z3

Java implementation of Hindley Milner type inference algorithm for lambda calculus.

Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.