dict-freedict-pol-spa

Polish-Spanish dictionary for the dict server/client

This is the Polish-Spanish dictionary from the FreeDict project. It contains 22684 headwords (FreeDict status: big enough to be useful). It can be either used with the dictd server and a dict client or with GoldenDict.

dict-freedict-eng-bul

English-Bulgarian dictionary for the dict server/client

This is the English-Bulgarian dictionary from the FreeDict project. It contains 34213 headwords (FreeDict status: big enough to be useful). It can be either used with the dictd server and a dict client or with GoldenDict.

libjamm-java

Java Agent for Memory Measurements

Jamm provides MemoryMeter, a java agent to measure actual object memory use including JVM overhead.

python3-sphinx-copybutton

sphinx extension to add a "copy" button to code blocks

Sphinx-copybutton does one thing: add little “copy” button to the right of your code blocks. That’s it!

python-isbnlib

ISBN processing library

ISBNlib is a pure Python library for validating, cleaning and getting metadata from ISBN strings.

libmrpt-slam1.3

Mobile Robot Programming Toolkit - slam library