LyzardKing
Follow
-
-
-
LogicalEnglishExtension Public
vscode extension for Logical English
-
-
-
prolog-tree-sitter Public
Readonly clone from https://codeberg.org/foxy/tree-sitter-prolog/
C UpdatedOct 30, 2024 -
OCRthyPDF-Essentials Public
Forked from digidigital/OCRthyPDF-EssentialsMake your PDF files text-searchable (A GUI for OCRmyPDF)
Python GNU Affero General Public License v3.0 UpdatedOct 24, 2024 -
-
-
swipl-flatpak Public
Forked from SWI-Prolog/flatpakManage Flatpak image (probably temporary here)
Makefile UpdatedMay 17, 2024 -
-
-
NetProLogo Public
Forked from jgalanp/NetProLogoNetProLogo (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...…
NetLogo GNU General Public License v3.0 UpdatedFeb 28, 2024 -
pyswip Public
Forked from yuce/pyswipPySWIP 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 qu…
Python MIT License UpdatedDec 2, 2023 -
deb-get Public
Forked from wimpysworld/deb-getapt-get functionality for .debs published in 3rd party repositories or via direct download
Shell MIT License UpdatedJun 5, 2023 -
-
user-documentation Public
Forked from JabRef/user-documentationUser documentation of JabRef
Creative Commons Attribution 4.0 International UpdatedFeb 25, 2023 -
distrobox Public
Forked from 89luca89/distroboxUse 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…
Shell GNU General Public License v3.0 UpdatedSep 7, 2022 -
pipewire-debian Public
Forked from pipewire-debian/pipewire-debianUpstream Version of pipewire, wireplumber, roc-toolkit & blueman for debian/ubuntu
C MIT License UpdatedMay 5, 2022 -
zotero-standalone-build Public
Forked from zotero/zotero-standalone-buildZotero client build utility
C++ Other UpdatedMar 18, 2022 -
ksnip Public
Forked from ksnip/ksnipKsnip is a Qt based cross-platform screenshot tool that provides many annotation features for your screenshots.
C++ GNU General Public License v2.0 UpdatedJan 8, 2022 -
swipl-devel Public
Forked from SWI-Prolog/swipl-develMain development repository
C Other UpdatedOct 26, 2021 -
docker-slim Public
Forked from slimtoolkit/slimDockerSlim (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)
Go Apache License 2.0 UpdatedSep 26, 2021 -
jabref Public
Forked from JabRef/jabrefGraphical Java application for managing BibTeX and biblatex (.bib) databases
Java MIT License UpdatedSep 11, 2021 -
-
-
-
JabRef-Browser-Extension Public
Forked from JabRef/JabRef-Browser-ExtensionBrowser extension for JabRef to allow importing of new items directly from the browser.
JavaScript GNU Affero General Public License v3.0 UpdatedSep 14, 2020 -
sdkman-db-migrations Public
Forked from sdkman/sdkman-db-migrationsDatabase migrations for the sdkman API
Scala UpdatedJul 23, 2020 -
compress-pdf Public
Forked from itsfoss/compress-pdfA simple tool that allows you to compress PDF files
Python Other UpdatedMay 15, 2020