squirrel-prover-git
|
latest-3 |
2 |
1.72
|
a proof assistant dedicated to cryptographic protocols |
BenjaminVoisin
|
2024-03-19 14:21 (UTC) |
numix-square-icon-theme-git
|
23.04.20.r0.a1a1a02f-1 |
14 |
0.75
|
Square icon theme from the Numix project |
megapoliss
|
2023-04-21 10:48 (UTC) |
squidguard
|
1.6.0-9 |
1 |
0.43
|
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) |
sasquatch-git
|
r60.bd864a1-1 |
3 |
0.43
|
Patched unsquashfs utility with support for vendor-specific SquashFS implementations |
cyrozap
|
2022-04-09 15:38 (UTC) |
squeekboard-git
|
1.17.0.r4.gbd39089-1 |
2 |
0.37
|
Virtual keyboard supporting Wayland, built primarily for the Librem 5 phone |
TrialnError
|
2022-03-18 20:47 (UTC) |
logitechmediaserver-git
|
20210327.21451_359cd3a1d-1 |
9 |
0.32
|
Slimserver for Logitech Squeezebox players. This server is also called Logitech Media Server. (Git-Version, if you prefer stability consider using logitechmediaserver instead) |
stef.an
|
2021-03-27 12:02 (UTC) |
ttf-open-relay
|
1:r85.3326b93-1 |
1 |
0.07
|
Latest snapshot of Open Relay, Free and open source fonts from Kreative Software, containing Constructium, Fairfax (HD), Kreative Square. |
diaowinner
|
2023-11-12 03:04 (UTC) |
msquic
|
1:2.2.4-1 |
2 |
0.03
|
Microsoft implementation of the IETF QUIC protocol |
FabioLolix
|
2024-03-27 17:35 (UTC) |
logitechmediaserver
|
8.4.0-1 |
73 |
0.01
|
Slimserver for Logitech Squeezebox players. This server is also called Logitech Media Server. (Release-Version, if you prefer bleeding edge consider using logitechmediaserver-git instead) |
stef.an
|
2024-02-16 09:11 (UTC) |
bombsquad
|
1.7.33-1 |
7 |
0.01
|
An explosive arcade-style party game |
Mrmaxmeier
|
2024-01-17 14:21 (UTC) |
verity-squash-root
|
0.3.3-1 |
3 |
0.01
|
Build signed efi files which mount a verified squashfs image as rootfs on boot |
Simon_Brand
|
2023-08-14 22:57 (UTC) |
squiid
|
1.1.1-1 |
1 |
0.01
|
Advanced calculator written in Rust, featuring a terminal user interface supporting both RPN and algebraic input. |
Tabulate
|
2023-10-03 21:38 (UTC) |
bombsquad-bin
|
latest-1 |
1 |
0.01
|
An explosive arcade-style party game |
Logeek
|
2023-07-15 02:00 (UTC) |
squirrel
|
3.2-1 |
11 |
0.00
|
A light-weight scripting language that fits in the size, memory bandwidth, and real-time requirements of applications like video games |
Biswa96
|
2023-06-21 15:34 (UTC) |
libdogleg-git
|
v0.16.r1.g1f88d01-2 |
1 |
0.00
|
Large-scale nonlinear least-squares optimization library for both sparse and dense problems |
0e4ef622
|
2024-03-10 19:44 (UTC) |
nanomq-msquic-git
|
0.20.8.r92.g2f0a2332-2 |
2 |
0.00
|
Nano MQTT Broker - An Ultra-light and Blazing-fast MQTT Broker for IoT Edge (msquic Broker) |
taotieren
|
2023-12-21 15:50 (UTC) |
libminpack
|
19961126+dfsg1.5-3 |
1 |
0.00
|
Software for solving nonlinear equations and nonlinear least squares problems |
carsme
|
2024-01-28 22:39 (UTC) |
thunderbird-beta-i18n-eu
|
123.0b5-1 |
3 |
0.00
|
Basque language pack for Thunderbird Beta |
yurikoles
|
2024-02-14 09:22 (UTC) |
square1-wad
|
2.0-1 |
8 |
0.00
|
The Adventures of Square, Episode 1 game data |
grubber
|
2018-04-11 19:36 (UTC) |
squeezelite
|
2.0.0.1468-1 |
3 |
0.00
|
Lightweight headless squeezebox emulator |
FabioLolix
|
2024-03-19 06:07 (UTC) |
squashfs-tools-ng
|
1.3.0-1 |
4 |
0.00
|
A new set of tools and libraries for working with SquashFS images |
Goliath
|
2024-03-11 23:21 (UTC) |
squashfs-tools-ng-doc
|
1.3.0-1 |
4 |
0.00
|
A new set of tools and libraries for working with SquashFS images |
Goliath
|
2024-03-11 23:21 (UTC) |
isso
|
0.13.0-2 |
11 |
0.00
|
A commenting python server similar to Disqus |
HLFH
|
2022-10-14 12:24 (UTC) |
discordsqueezer-git
|
1.0.1-1 |
1 |
0.00
|
Video compression tool for Discord file size limits |
mcharlsto
|
2022-12-07 18:29 (UTC) |
fleet-orbit
|
1.22.0-1 |
1 |
0.00
|
Eases the deployment of osquery connected with a Fleet server. |
gilbs
|
2024-02-24 04:07 (UTC) |
curl-http3-msquic
|
7.86.0-1 |
2 |
0.00
|
An URL retrieval utility and library - compiled with HTTP/3 support (with msquic) - binary is called curl3 |
Menci
|
2022-11-05 19:01 (UTC) |
libdesqui
|
0.0.8-1 |
1 |
0.00
|
DesQ UI Library. This library contains all the common UI widget which are to be used across the DesQ Project. |
Strit
|
2023-12-05 16:13 (UTC) |
numix-square-icon-theme
|
23.11.11-1 |
14 |
0.00
|
A square-ish shaped icon theme from the Numix Project |
blinxwang
|
2023-11-16 03:38 (UTC) |
mingw-w64-libsquish-fixed-tables
|
1.15-2 |
1 |
0.00
|
DXT compression library with Rich Geldreich's fixed solid color lookup tables (mingw-w64) |
Vaporeon
|
2022-10-09 12:20 (UTC) |
squawk
|
0.2.3-1 |
1 |
0.00
|
An XMPP desktop messenger, written on pure c++ (qt) |
BlueMacaw
|
2024-02-04 17:03 (UTC) |
pc2-bin
|
9.7.0.6181-1 |
1 |
0.00
|
PC2 aka PC Squared (Programming Contest Control System) software used for competitive programming contests |
arjvik
|
2022-03-25 05:30 (UTC) |
ttf-spline-sans-mono
|
1.002-1 |
1 |
0.00
|
Monospaced Grotesque purpose-built for UI interfaces, checkout processes, and programming |
amoka
|
2022-05-03 21:54 (UTC) |
python-lmfit
|
1.2.2-1 |
9 |
0.00
|
Non-Linear Least Squares Minimization, with flexible Parameter settings, based on scipy.optimize.leastsq, and with many additional classes and methods for curve fitting |
greyltc
|
2023-08-28 19:52 (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) |
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) |
vertrux-icon-theme
|
0.1-1 |
2 |
0.00
|
Squared icon set for Linux - Light and Dark |
satriani
|
2017-05-10 00:07 (UTC) |
urlcrazy
|
0.7.3-1 |
9 |
0.00
|
Generate and test domain typos and variations to detect and perform typo squatting, URL hijacking, phishing, and corporate espionage |
kleintux
|
2023-07-02 22:26 (UTC) |
tunerstudio
|
3.2.00-1 |
5 |
0.00
|
Graphical engine tuning and analysis software for Megasquirt ECUs |
fuhry
|
2024-03-20 22:15 (UTC) |
ttf-square
|
1-1 |
0 |
0.00
|
Font intended for roguelike games |
Freso
|
2023-07-04 16:47 (UTC) |
ttf-squadaone
|
20211224-1 |
0 |
0.00
|
A bold presence and geometric, condensed typeface. It can be used at any size while still maintaining clarity and smoothness. |
KlausEWDev
|
2021-12-25 00:14 (UTC) |
ttf-spline-sans
|
1.001-1 |
1 |
0.00
|
Grotesque sans serif typeface family, purpose-built for UI interfaces, checkout processes, and paragraphs of text |
amoka
|
2022-04-14 22:57 (UTC) |
ttf-karla
|
1:2.002-2 |
2 |
0.00
|
Grotesque Sans Serif Latin typeface |
Ppjet6
|
2021-09-27 10:09 (UTC) |
ttf-cuprum
|
2.000-3 |
1 |
0.00
|
A narrow grotesque font |
orphan
|
2021-08-21 18:15 (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) |
ttf-babelstone-zanabazar
|
10.002-1 |
0 |
0.00
|
BabelStone Font for Zanabazar Square script |
dringsim
|
2022-03-17 02:00 (UTC) |
ttf-archivo-variable
|
2.001-2 |
0 |
0.00
|
Grotesque sans-serif typeface family from Omnibus-Type. |
Markus00000
|
2022-08-29 08:02 (UTC) |
ttf-archivo-narrow
|
3.002-1 |
2 |
0.00
|
Grotesque sans serif typeface family from Omnibus-Type |
amoka
|
2023-03-12 14:25 (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) |
trisquel-icewm-theme
|
1.4-3 |
1 |
0.00
|
This IceWM theme is inspired by the default theme of Trisquel GNU/Linux. |
MikuroK
|
2021-05-29 01:44 (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) |