[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 23 hours 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