Pinned Repositories
citation_extraction
com.calibre_ebook.calibre
compress-pdf
A simple tool that allows you to compress PDF files
deb-get
apt-get functionality for .debs published in 3rd party repositories or via direct download
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
grive-indicator
appindicator for grive (google drive sync tool)
homebrew-lk
LogicalEnglishExtension
vscode extension for Logical English
mind-the-gap
LyzardKing's Repositories
LyzardKing/homebrew-lk
LyzardKing/LogicalEnglishExtension
vscode extension for Logical English
LyzardKing/mind-the-gap
LyzardKing/citation_extraction
LyzardKing/com.calibre_ebook.calibre
LyzardKing/compress-pdf
A simple tool that allows you to compress PDF files
LyzardKing/deb-get
apt-get functionality for .debs published in 3rd party repositories or via direct download
LyzardKing/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
LyzardKing/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)
LyzardKing/eu_caselaw_citations
LyzardKing/fastmac
LyzardKing/jabref
Graphical Java application for managing BibTeX and biblatex (.bib) databases
LyzardKing/JabRef-Browser-Extension
Browser extension for JabRef to allow importing of new items directly from the browser.
LyzardKing/JabRefOnline
LyzardKing/jupyter_prolog_ext
LyzardKing/JupyterDocker
LyzardKing/ksnip
Ksnip is a Qt based cross-platform screenshot tool that provides many annotation features for your screenshots.
LyzardKing/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.
LyzardKing/OCRthyPDF-Essentials
Make your PDF files text-searchable (A GUI for OCRmyPDF)
LyzardKing/phantomjs
Scriptable Headless Browser
LyzardKing/pipewire-debian
Upstream Version of pipewire, wireplumber, roc-toolkit & blueman for debian/ubuntu
LyzardKing/prolog-tree-sitter
Readonly clone from https://codeberg.org/foxy/tree-sitter-prolog/
LyzardKing/pyswip
PySWIP is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
LyzardKing/sdkman-db-migrations
Database migrations for the sdkman API
LyzardKing/setup-swi-prolog
Setup SWI-Prolog action
LyzardKing/swipl-devel
Main development repository
LyzardKing/swipl-flatpak
Manage Flatpak image (probably temporary here)
LyzardKing/up-snap
LyzardKing/user-documentation
User documentation of JabRef
LyzardKing/zotero-standalone-build
Zotero client build utility