Galileo Sartor's repositories
grive-indicator
appindicator for grive (google drive sync tool)
compress-pdf
A simple tool that allows you to compress PDF files
distrobox
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox
docker-slim
DockerSlim (docker-slim): Don't change anything in your Docker container image and minify it by up to 30x (and for compiled languages even more) making it secure too! (free and open source)
JabRef-Browser-Extension
Browser extension for JabRef to allow importing of new items directly from the browser.
LogicalEnglishExtension
vscode extension for Logical English
NetProLogo
NetProLogo (NetLogo + Prolog) is a NetLogo extension that allows running Prolog inside NetLogo in order to take advantage of Prolog features to provide NetLogo agents (turtles, links and patches... or the observer) with reasoning capabilities.
phantomjs
Scriptable Headless Browser
pipewire-debian
Upstream Version of pipewire, wireplumber, roc-toolkit & blueman for debian/ubuntu
sdkman-db-migrations
Database migrations for the sdkman API
setup-swi-prolog
Setup SWI-Prolog action
swipl-devel
Main development repository
swipl-flatpak
Manage Flatpak image (probably temporary here)
user-documentation
User documentation of JabRef
zotero-standalone-build
Zotero client build utility