dict-freedict-nld-gle

Dutch-Irish dictionary for the dict server/client

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

python3-pyside6.qtnetwork

Python bindings for Qt 6 Network module (Python 3)

pyside6 provides Python bindings for Qt 6.x framework.

libcoq-coqeal

algebra and data structure algorithms for Coq

This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework.

python3-opengv

Computer vision methods for solving geometric vision problems.

Contains absolute-pose, relative-pose, triangulation, and point-cloud alignment methods for the calibrated case. All problems can be solved with central or non-central cameras, and embedded into a random sample consensus or nonlinear optimization context. Matlab and Python interfaces are implemented as well

uruk

Very small firewall script, for configuring iptables

Uruk is a wrapper for Linux ip[6]tables. A very simple shell script, but useful if you need similar (but not the same) packet filtering configurations on lots of hosts. It uses a template file, which gets sourced as a shell script, to get lists of source addresses, allowed to use specific network services. Listing these groups of allowed hosts and allowed services is all what's needed to configure your box.

python3-banal

Commons of banal micro-functions for Python

Commons of Python micro-functions. This basically an out-sourced, shared utils module with a focus on functions that buffer type uncertainties in Python (e.g. "is this a list?").