Lynx
Effect tracking with capabilities and capture checking. It requires jvm >= 21.
Resources
Library is based on lampepfl/monadic-reflection by Jonathan Immanuel Brachthäuser and Aleksander Boruch-Gruszecki . It implements monadic-reflection (Filinski 1994, 1999).