crowdsec-custom-bouncer

CrowdSec bouncer for custom scripts

This package uses the CrowdSec API to fetch the latest decisions periodically, and passes them as arguments to a custom user script.

libqgisgrass7-3.16.14

QGIS - shared grass library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

gnome-video-trimmer

Simple GUI application for lossless cutting of video files

Video Trimmer is an easy-to-use graphical application for cutting video files. It does so without re-encoding the video, avoiding any loss of quality in the process.

chuffed-flatzinc

lazy clause generation FlatZinc implememntation

Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind. Lazy clause generation is a hybrid approach to constraint solving that combines features of finite domain propagation and Boolean satisfiability. It combines some of the advantages of finite domain constraint programming (high level model and programmable search) with some of the advantages of SAT solvers (reduced search by nogood creation, and effective autonomous search using variable activities).
Developer mono typeface

fonts-kode-mono

Developer mono typeface

This typeface is designed to enhance the user experience and reflect our principles of functionality and timelessness.

libqgispython3.16.14

QGIS - shared Python library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.