Offers data locality and garbage-collection free programming. Based on the Trove library. TP, JYT, MA: In the Fiji update site "Mastodon" mastodon-graph: A Java library to create and manipulate ...

jsoup is a Java library that makes it easy to work with real-world HTML and XML. It offers an easy-to-use API for URL fetching, data parsing, extraction, and manipulation using DOM API methods, CSS, ...

Lean is an open-source development environment for formal mathematics, also known as machine-checkable mathematics, used by and contributed to by an active community of mathematicians around the world ...