5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
why3 0.86.3-1 5 0.00 The next generation of the software verification platform Why LeonidasXIV
homesick 1.1.3-1 9 0.03 Your home directory is your castle. Don't leave your dotfiles behind. LeonidasXIV
homeshick-git 1.0.0.r35.g23cb8a7-1 2 0.00 bash stand-in for homesick by technicalpickles LeonidasXIV
git-cal-git 0.0.r87.53fd622-1 4 0.00 github like contributions calendar on terminal LeonidasXIV
factor 0.97-1 29 0.11 A general purpose, dynamically typed, stack-based programming language. LeonidasXIV

5 packages found. Page 1 of 1.