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