[AUR] SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite - precompiled version
Updated 6 months ago
[AUR] A fully free, highly customizable and very efficient shell wrapper for git and SSH, which imitates Dropbox.
Updated 6 months ago
[AUR] SWI-Prolog for SHaring: a SWI-Prolog web IDE
Updated 6 months ago
[AUR] A collection of useful non-standard Python functions which aim to be simple to use
Updated 3 months ago
Updated 1 day ago
[AUR] Pre-compiled version of a Docker spec for running Rserve in a sandbox
Updated 6 months ago
[AUR] Automatically generate a compliant table of contents for a markdown file to improve document readability
Updated 1 month ago
[AUR] SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite
Updated 6 months ago
A mirror for the AUR packages I have written
Updated 6 months ago
[AUR] Docker spec for running Rserve in a sandbox
Updated 6 months ago