hol
|
kananaskis.14-1 |
5 |
0.00
|
HOL4 theorem-proving system |
soimort
|
2021-02-07 21:05 (UTC) |
pop-theme
|
1.0.4-1 |
1 |
0.00
|
System76 Pop Theme metapackage |
CReimer
|
2021-02-07 20:57 (UTC) |
pop-fonts
|
1.0.3-1 |
0 |
0.00
|
System76 Pop Fonts metapackage |
CReimer
|
2021-02-07 20:56 (UTC) |
ttf-ibm-plex-mono-git
|
1.4.1.r2.gdec2bc78-1 |
1 |
0.00
|
IBM Plex |
shoober420
|
2021-02-07 20:24 (UTC) |
bash2048-git
|
1.0.r14.g37da521-1 |
0 |
0.00
|
Bash implementation of 2048 game |
zhullyb
|
2021-02-07 19:41 (UTC) |
perl-string-compare
|
0.4-2 |
0 |
0.00
|
String::Compare - Compare two strings and return how much they are alike |
orphan
|
2021-02-07 19:12 (UTC) |
toontown-rewritten
|
1.2.6-1 |
7 |
0.00
|
An MMO originally by Disney, rewritten. An account is needed to play. |
orphan
|
2021-02-07 18:33 (UTC) |
ghost-cli
|
1.15.3-1 |
1 |
0.00
|
CLI Tool for installing & updating Ghost |
orphan
|
2021-02-07 17:54 (UTC) |
smplxmpp
|
0.9.3-1 |
1 |
0.00
|
simple XMPP client for the commandline |
tropf
|
2021-02-07 17:45 (UTC) |
micro-cap
|
12-1 |
1 |
0.00
|
an integrated schematic editor and mixed analog/digital circuit simulator |
greyltc
|
2021-02-07 17:09 (UTC) |
pastry
|
1.0.0-1 |
0 |
0.00
|
command line tool to paste files to https://paste.myst.rs/ |
codemyst
|
2021-02-07 16:46 (UTC) |
yuranpad
|
2.4-1 |
0 |
0.00
|
A free text editor for Windows and Linux |
orphan
|
2021-02-07 16:16 (UTC) |
vice-gnome
|
3.5-1 |
1 |
0.00
|
Versatile Commodore Emulator (Provides desktop files for easy use in Gnome) |
tallero
|
2021-02-07 15:36 (UTC) |
minetest-mineclone2-git
|
0.70.0.r167.g26037157-1 |
2 |
0.00
|
Voxel-based sandbox game for Minetest (git) |
Mr.Smith1974
|
2021-02-07 15:30 (UTC) |
gr-adsb-git
|
0f6ffd-1 |
1 |
0.00
|
GNURadio blocks for receiving ADS-B modulated radio messages using SDR |
steakunderscore
|
2021-02-07 14:50 (UTC) |
tarry-git
|
e8ec286-1 |
1 |
0.00
|
CLI tool for waiting until a specific time |
Louis
|
2021-02-07 14:14 (UTC) |
surface-performance-indicator-git
|
r5.23bc85d-1 |
0 |
0.00
|
Switching Surface performance modes |
orphan
|
2021-02-07 13:57 (UTC) |
srslte-falcon-patch-git
|
0.1.r4.g05747bc40-1 |
2 |
0.00
|
Open source SDR LTE software suite from Software Radio Systems (SRS) - patched for FALCON |
Falkenber9
|
2021-02-07 13:09 (UTC) |
hdfs-lib-cpp
|
3.3.0-1 |
1 |
0.00
|
Libhdfs++ for Hadoop’s Distributed File System (HDFS) |
kashirin.alex
|
2021-02-07 08:03 (UTC) |
lightdm-config-git
|
r15.cb28c6d-1 |
0 |
0.00
|
A simple tool for editing LightDM |
orphan
|
2021-02-07 07:27 (UTC) |
lightdm-qtquick-greeter-git
|
r18.d1c29b1-1 |
0 |
0.00
|
New Greeter for LightDM written in Qt |
hayao
|
2021-02-07 06:38 (UTC) |
alacritty-glclearfix-git
|
0.8.0.1776.ge6ba068-1 |
1 |
0.00
|
A cross-platform, GPU-accelerated terminal emulator (fixes #3061) |
ryshglene
|
2021-02-07 05:50 (UTC) |
xipmsg
|
0.8088-1 |
0 |
0.00
|
IP Messenger client for X11 |
Genstar
|
2021-02-07 03:41 (UTC) |
rofi-theme-android-1080p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-android-720p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-applet-1080p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-applet-720p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-launcher-1080p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-launcher-720p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-menu-1080p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-menu-720p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-powermenu-1080p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-powermenu-720p
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-used
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
rofi-theme-fonts
|
1.6.1-2 |
1 |
0.00
|
A large collection of Rofi based custom Menu, Applets, Launchers & Powermenus |
dctxmei
|
2021-02-07 03:41 (UTC) |
pop-gtk-theme-git
|
5.3.1.r3.g5ab6f1e4-1 |
20 |
0.00
|
A GTK+ theme for Pop!_OS |
ErikProW
|
2021-02-07 02:33 (UTC) |
uuid
|
1.6.2-20 |
80 |
0.04
|
OSSP Universally Unique Identifier |
FryDay
|
2021-02-07 01:13 (UTC) |
ocz-ssd-utility
|
2.3.2963-3 |
14 |
0.00
|
A GUI based tool for managing OCZ SSD including firmware and BIOS updates. |
Muflone
|
2021-02-06 23:42 (UTC) |
python-sphinx-glpi-theme
|
0.3-1 |
0 |
0.00
|
A Sphinx theme based on readthedocs.org one |
dbermond
|
2021-02-06 23:39 (UTC) |
hfsprogs
|
540.1.linux3-4 |
67 |
0.72
|
User space utils for create and check Apple HFS/HFS+ filesystem |
Muflone
|
2021-02-06 23:33 (UTC) |
twilio-quest-bin
|
2019.09.27-1 |
1 |
0.00
|
Discover your power to change the world with code. |
nrobinson2000
|
2021-02-06 21:07 (UTC) |
vim-asyncomplete-lsp-git
|
r30.684c344-1 |
0 |
0.00
|
LSP source for asyncomplete.vim vim-lsp |
VannTen
|
2021-02-06 20:16 (UTC) |
vim-asyncomplete-git
|
2.1.0.r27.g4be3c16-1 |
0 |
0.00
|
Async autocompletion for Vim 8 and Neovim with timers |
VannTen
|
2021-02-06 20:14 (UTC) |
vim-asyncomplete
|
2.1.0-1 |
0 |
0.00
|
Async autocompletion for Vim 8 and Neovim with timers |
VannTen
|
2021-02-06 20:12 (UTC) |
tty-countdown-git
|
r13.331d388-1 |
2 |
0.00
|
Simple countdown timer |
veggie
|
2021-02-06 18:55 (UTC) |
vhd2vl-git
|
2.5-1 |
1 |
0.00
|
Translate synthesizable VHDL into Verilog 2001 |
marzoul
|
2021-02-06 17:15 (UTC) |
python-py_find_1st
|
1.1.5-1 |
0 |
0.00
|
Python wrapper for TA-Lib |
mtorromeo
|
2021-02-06 16:19 (UTC) |
gtk-theme-arc-gruvbox-git
|
r12.e5ea0ff-2 |
10 |
0.00
|
A flat, grey gruvboxed theme with transparent elements for GTK 3, GTK 2 and gnome-shell. Latest commit from the master branch on Github. |
cyrinux
|
2021-02-06 16:03 (UTC) |
python-smcp
|
0.4.6-5 |
0 |
0.00
|
A Python solver for sparse matrix cone programs. |
Viech
|
2021-02-06 14:31 (UTC) |
python-pyscipopt-git
|
3.1.0.r3.gdc8e592-3 |
0 |
0.00
|
A Python interface to the SCIP Optimization Suite. Git version. |
Viech
|
2021-02-06 14:22 (UTC) |