A realization of Panini via Java compiler plugins. Panini is a capsule-oriented programming model, which introduces a new programming abstraction, the capsule. The main motivation behind this abstraction is to enable more modular reasoning about concurrent programs.

See https://paninij.github.io/ for basic usage and documentation.