squolem
|
2.02-1 |
1 |
0.00
|
Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates |
xrchz
|
2015-06-15 06:41 (UTC) |
sntop
|
1.4.3-1 |
11 |
0.00
|
Curses-based top-esque console utility for monitoring the connectivity of network hosts |
Dragonlord
|
2015-06-28 16:29 (UTC) |
nodejs-squiffy
|
4.0.0-1 |
0 |
0.00
|
A tool for creating multiple-choice interactive stories |
ShadowKyogre
|
2015-07-08 17:27 (UTC) |
baseos-squashfs
|
1-1 |
0 |
0.00
|
Initcpio hooks for baseOS boot |
bluerider
|
2015-10-31 16:17 (UTC) |
gnome-quod
|
0.2.3-2 |
1 |
0.00
|
The object of the game is to outmaneuver your opponent and be the first to outline a square, called a quod, by capturing its four corners with your colored attacking pieces. |
aspirogrammer
|
2016-01-13 12:34 (UTC) |
w3perl
|
3.20-1 |
3 |
0.00
|
W3Perl is a free and comprehensive logfile analyzer for Web / FTP / Squid and Mail servers. |
jnbek
|
2016-04-18 23:26 (UTC) |
mkinitcpio-squashfs-git
|
0.2.r1.1faca52-1 |
0 |
0.00
|
SquashFS root support for mkinitcpio (local and remote image locations supported) |
Regalis
|
2016-08-13 22:38 (UTC) |
squirrelmail
|
1.4.22-2 |
7 |
0.00
|
Webmail for Nuts! |
orphan
|
2017-04-12 18:50 (UTC) |
vertrux-icon-theme
|
0.1-1 |
2 |
0.00
|
Squared icon set for Linux - Light and Dark |
satriani
|
2017-05-10 00:07 (UTC) |
fsql-git
|
r45.db57e29-3 |
1 |
0.00
|
Search through your filesystem with SQL-esque queries |
dracorp
|
2017-05-20 23:17 (UTC) |
sevensquare-git
|
1.3.10-1 |
3 |
0.00
|
Android screencast wroted in QT |
esauvisky
|
2018-02-20 15:03 (UTC) |
squidview
|
0.86-1 |
9 |
0.00
|
Is an interactive console program which monitors and displays squid logs in a nice fashion. |
pizzaman
|
2018-03-02 11:42 (UTC) |
squeue
|
1.0.1-1 |
0 |
0.00
|
Simple queue implementation based on Screen command |
pdz
|
2018-07-14 07:48 (UTC) |
trisquel-gtk-theme
|
8.0-1 |
0 |
0.00
|
A GTK2, GTK3, Metacity, XFWM4, and Unity theme from Trisquel. |
MikuroK
|
2018-07-14 08:56 (UTC) |
squidclamav
|
6.16-6 |
2 |
0.00
|
SquidClamav is the most efficient Squid Redirector and ICAP service antivirus tool for HTTP traffic available for free |
bar0metr
|
2018-07-21 09:12 (UTC) |
squid-ecap-gzip
|
1.5.4.0-1 |
1 |
0.00
|
This Software is an eCAP adapter for HTTP compression with GZIP and DEFLATE. This is fully re-worked on C++11,improved and bugfixed production version, based on Constantin Rack`s https://github.com/c-rack/squid-ecap-gzip adapter |
bar0metr
|
2018-07-31 07:31 (UTC) |
squid-git
|
4.1-4 |
1 |
0.00
|
Full-featured Web proxy cache server with the support SSL, eCAP, iCAP-client. Include patches for normal work with long url`s and CDN. |
navigaid
|
2018-07-31 07:37 (UTC) |
python-lemonsqueezer
|
0.1.3-1 |
0 |
0.00
|
An fast and lightweight wrapper for lemonbar |
mpardalos
|
2018-09-26 11:13 (UTC) |
squid5
|
5.0.0-5 |
1 |
0.00
|
Full-featured Web proxy cache server with the support SSL, eCAP, iCAP-client. Include patches for normal work with long url`s and CDN. |
orphan
|
2018-10-13 22:01 (UTC) |
elokab-adhan
|
0.1-1 |
3 |
0.00
|
Adhan is called out by a muezzin from the mosque five times a day summoning Muslims for mandatory (fard) worship (salat) |
kovax3
|
2018-10-31 20:25 (UTC) |
cepl-git
|
6.3.0.r4.gb689f499088e0bf0a2-1 |
0 |
0.00
|
An interactive C (ISO/IEC 9899:2011) read–eval–print loop (REPL) currently supporting multiple compilers, shell-esque readline key-bindings/tab-completion, variable tracking, and incremental undo. |
alyptik
|
2018-11-04 04:15 (UTC) |
emacs-flycheck-clojure
|
0.1.5-2 |
1 |
0.00
|
squiggly-clojure: Flycheck checker for Clojure, using eastwood and core.typed. |
Geballin
|
2019-01-11 20:56 (UTC) |
lmfit-git
|
269.822d724-1 |
0 |
0.00
|
Self-contained C library for Levenberg-Marquardt least-squares minimization and curve fitting. |
kuldeep
|
2019-04-02 18:47 (UTC) |
squarely
|
0.9-8 |
0 |
0.00
|
Puzzle game written in Python using the pyglet library |
nwg
|
2019-04-20 20:01 (UTC) |
ceres-solver-git
|
r1467.db1f5b57-1 |
0 |
0.00
|
Solver for nonlinear least squares problems |
dtag
|
2019-06-19 12:21 (UTC) |
gog-vampire-the-masquerade-bloodlines
|
1:1.2_up10.2_28160-1 |
0 |
0.00
|
Vampire®: The Masquerade - Bloodlines™. GOG version (Wine). |
orphan
|
2019-06-28 09:58 (UTC) |
squirrelmail-dev-svn
|
r14832-1 |
0 |
0.00
|
Webmail for Nuts! (Development version Subversion source) |
Lopo
|
2019-08-20 12:18 (UTC) |
hyphen-eu-es
|
5.1-1 |
0 |
0.00
|
Basque hyphenation rules |
chrpinedo
|
2019-12-04 14:32 (UTC) |
disable-ligatures-fantasque-sans-mono
|
1-1 |
1 |
0.00
|
Disable ligatures on Fantasque Sans Mono font |
arti
|
2019-12-09 14:22 (UTC) |
otf-arsenal
|
r33.e34db56-1 |
0 |
0.00
|
Typesetting font with semi grotesque traditional Ukrainian forms |
ap_Codkelden
|
2019-12-23 23:06 (UTC) |
xarexec_fuse
|
19.4.22-1 |
0 |
0.00
|
Small program to mount a SquashFS xar image, required to execute xar files |
aabmass
|
2020-01-27 21:31 (UTC) |
ttf-chivo
|
1.0-2 |
1 |
0.00
|
Chivo (Goat) is a new Omnibus-Type grotesque Sans Serif typeface family. |
KbanKiller
|
2020-02-07 00:37 (UTC) |
sfsimage
|
1.0-1 |
0 |
0.00
|
Script to manage squashfs forensic evidence containers. |
ansemjo
|
2020-02-12 06:20 (UTC) |
squashfs-tools-git
|
1935.c570c61-1 |
1 |
0.00
|
Tools for squashfs, a highly compressed read-only filesystem for Linux. |
MikuroK
|
2020-02-16 07:50 (UTC) |
gifski-git
|
0.10.2.r3.g04e4723-1 |
2 |
0.00
|
GIF encoder based on libimagequant (pngquant, gifquant?). Squeezes maximum possible quality from the awful GIF format |
phw
|
2020-03-02 13:29 (UTC) |
perl-css-squish
|
0.10-2 |
0 |
0.00
|
Perl package to compact many CSS files into one big file |
bunder
|
2020-03-09 14:23 (UTC) |
plymouth-theme-square-git
|
r28.32a0d92-1 |
0 |
0.00
|
The plymouth theme collection by adi1090x |
freundTech
|
2020-04-04 14:54 (UTC) |
plymouth-theme-square-hud-git
|
r28.32a0d92-1 |
0 |
0.00
|
The plymouth theme collection by adi1090x |
freundTech
|
2020-04-04 14:54 (UTC) |
squash-git
|
v0.7.0.r498.g713eeca-1 |
0 |
0.00
|
tool for compression benchmarks |
Mitmischer
|
2020-04-14 20:05 (UTC) |
commento
|
1.8.0-1 |
2 |
0.00
|
A privacy-focused and bloat-free Disqus alternative |
daftaupe
|
2020-05-07 07:54 (UTC) |
squidguard
|
1.6.0-9 |
1 |
0.10
|
Filter and redirector plugin for Squid. SquidGuard is a free, flexible and ultra fast filter, redirector and access controller plugin for squid. |
shyamin
|
2020-07-08 21:08 (UTC) |
libdesqui-git
|
r6.4b03a50-1 |
0 |
0.00
|
DesQ UI Library. This library contains all the common UI widget which are to be used across the DesQ Project. |
orphan
|
2020-08-06 08:12 (UTC) |
otf-avara
|
1.000-1 |
1 |
0.00
|
A typeface from Velvetyne using curveless design based on a square grid |
alerque
|
2020-08-12 18:21 (UTC) |
hunspell-eu-es
|
5.1-2 |
3 |
0.00
|
Basque hunspell dictionary |
chrpinedo
|
2020-10-26 16:50 (UTC) |
squid4
|
4.13-4 |
1 |
0.00
|
Full-featured Web proxy cache server with the support SSL, eCAP, iCAP-client. Include patches for normal work with cache, long url`s and CDN. |
bar0metr
|
2020-10-27 17:50 (UTC) |
dolphin-squashfs-mount
|
1.0-1 |
0 |
0.00
|
Mount squashfs archives in dolphin right-click menu |
qbvt
|
2020-11-04 17:42 (UTC) |
aruco
|
3.1.12-1 |
1 |
0.00
|
ArUco is a C++ library for detection of squared planar markers based on OpenCV |
fepf
|
2020-12-02 20:06 (UTC) |
mingw-w64-libsquish
|
1.15-1 |
3 |
0.00
|
DXT compression library (mingw-w64) |
xantares
|
2020-12-06 18:43 (UTC) |
ttf-archivo-black
|
1.101-1 |
1 |
0.00
|
Grotesque sans serif typeface family from Omnibus-Type |
amoka
|
2020-12-25 22:04 (UTC) |
python-squirrel-battle
|
23.14-1 |
1 |
0.00
|
Watch out for squirrel's knives! |
ynerant
|
2021-01-11 01:40 (UTC) |