fstar
|
0.9.7.0-2 |
3 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2019-10-20 14:49 (UTC) |
ratarmount
|
0.15.0-1 |
5 |
0.50
|
Mount tar files via fusepy. Supports Recursive Mounting, Compressed Files, Read-Only Bind Mounting, Union Mounting and Write Overlays. A fast random access alternative to archivemount. |
snogard
|
2024-05-16 17:30 (UTC) |
tarmak-cli-git
|
r26.dae41b0-1 |
0 |
0.00
|
Create the intermediary key layouts on CLI for learning Colemak |
Smasher816
|
2018-08-04 05:21 (UTC) |
quake3-rocketarena
|
1.80-1 |
14 |
0.00
|
Rocket Arena is a modification for Quake 3 where players compete in multiple arenas tournament style. |
Slash
|
2017-09-05 23:19 (UTC) |
quake-rocketarena
|
1.2-3 |
2 |
0.00
|
The popular Rocket Arena modification for QuakeWorld |
Slash
|
2017-04-08 18:32 (UTC) |
tsmuxer-git
|
2.6.16.r1081.385eb52-1 |
63 |
0.00
|
Remux/mux elementary streams, EVO/VOB/MPG, MKV/MKA, MP4/MOV, TS, M2TS to TS to M2TS. (GIT Version) |
sl1pkn07
|
2023-08-18 23:47 (UTC) |
cue2pops-git
|
r82.541863a-1 |
0 |
0.00
|
Convert Playstation Games To VCD for Popstarter (GIT version) |
sl1pkn07
|
2021-11-07 16:13 (UTC) |
cups-bjnp
|
2.0.3-3 |
59 |
0.00
|
CUPS back-end for the canon printers using the proprietary USB over IP BJNP protocol |
Skythrew
|
2023-05-26 16:01 (UTC) |
skunkjuice-git
|
0.0.2.r2.gee9c258-1 |
0 |
0.00
|
Rudimentary QML compositor branched off qtwayland/examples/wayland/pure-qml |
sirspudd
|
2017-06-15 22:41 (UTC) |
qt-sdk
|
6.7.0-1 |
0 |
0.00
|
Qt SDK for both hosts and a variety of targets |
sirspudd
|
2024-04-10 21:46 (UTC) |
pksg
|
0.0.5-1 |
0 |
0.00
|
Pakistan SUI Gass Bill and Tariff. |
siphr
|
2022-03-14 20:28 (UTC) |
ideapad2024-power-management
|
0.0.2-1 |
1 |
0.32
|
Manage power settings for the Lenovo Ideapad 2024 (IdeaPad Pro 5 (Gen 9)) with the CLI tool ideapad2024-power-manage, alongside a system tray icon for convenient access. Remember, you'll need to manually start the tray by executing ideapad2024-power-tray. |
SinoCici
|
2024-04-19 10:23 (UTC) |
budgie-applications-menu-git
|
2.5.0.r304.gbb9e384-1 |
1 |
0.00
|
ElementaryOS (Pantheon) applications-menu fork for budgie-panel. Standalone from package budgie-extras. |
simple
|
2020-09-01 05:12 (UTC) |
cinc
|
16.12.3-1 |
1 |
0.00
|
The Cinc Client installation package includes everything you need to start converging your machines. |
simonvik
|
2021-04-08 01:47 (UTC) |
pocl-cuda-git
|
v1.2.r156.ga0b083a1-1 |
1 |
0.00
|
Portable OpenCL is an open-source implementation of OpenCL which can be easily adapted for new targets (git version) |
simonfxr
|
2019-02-27 12:36 (UTC) |
fastx-desktop-client
|
3.2.32-1 |
0 |
0.00
|
Client to connect to StarNet FastX servers |
simon42
|
2023-03-11 13:25 (UTC) |
signal-in-tray
|
1.0.0-3 |
7 |
0.01
|
Start signal in background via desktop files |
silvio
|
2022-09-21 13:25 (UTC) |
nordlayer
|
3.0.0-0 |
6 |
0.00
|
Proprietary VPN client for linux |
sidicer
|
2023-10-09 10:03 (UTC) |
deezer
|
6.0.130-1 |
59 |
1.05
|
A proprietary music streaming service |
SibrenVasse
|
2024-05-18 21:57 (UTC) |
wwphone
|
4.0.86-1 |
0 |
0.00
|
A proprietary CTI and SIP client from wwcom |
shieldwed
|
2024-05-16 08:10 (UTC) |
caelum
|
0.6.1-4 |
13 |
0.00
|
Library for OGRE targeted to help create nice-looking atmospheric effects. |
shermanflima
|
2015-08-23 15:41 (UTC) |
punktf
|
3.1.1-1 |
0 |
0.00
|
A cross-platform multi-target dotfiles manager |
Shemnei
|
2024-01-20 16:19 (UTC) |
neovim-targets-opt-git
|
689.8d6ff29-1 |
1 |
0.00
|
A (neo)vim plugin that adds various text objects to give you more targets to operate on. |
shanewstone
|
2020-10-15 22:15 (UTC) |
fonts-cambay
|
1.85-2 |
1 |
0.00
|
Open-source unicode font for Devanagari designed to match Cantarell Latin. |
shajilkrazy
|
2021-10-28 17:55 (UTC) |
swisseph-fixstars
|
2018.01.20-1 |
1 |
0.00
|
High precision Swiss Ephemeris developed by Astrodienst (Fixstars). |
ShadowKyogre
|
2018-07-16 19:12 (UTC) |
otf-auretech
|
1.0-1 |
2 |
0.01
|
Custom font based on Star Wars Galactic Basic (Aurebesh/Aurek-Besh) by Tycho_Ordo on theforce.net - Technumbers version |
Shadow53
|
2015-06-12 04:06 (UTC) |
sunix-snx
|
2.0.8_0-1 |
0 |
0.00
|
kernel module driver for Sunix SUN1889 SUN1989 SUN1999 SUN2212 SUN2410 UL7502AQ UL7512EQ UL7522EQ PCI PCIe multi I/O parallel serial RS-232 422 485 port Dell Lenovo Acer Startech |
severach
|
2023-12-19 08:12 (UTC) |
kat5200
|
0.8.1-1 |
2 |
0.00
|
an emulator for the Atari 5200 console and Atari 8-bit computers |
severach
|
2018-01-10 22:33 (UTC) |
joomscan
|
0.0.7-1 |
1 |
0.00
|
Detects file inclusion, sql injection, command execution vulnerabilities of a target Joomla! web site. |
severach
|
2019-04-08 01:20 (UTC) |
atari800
|
5.2.0-1 |
21 |
0.07
|
An emulator of the Atari 800/800XL/130XE/5200 with various extensions |
severach
|
2024-01-16 12:33 (UTC) |
atari++
|
1.85-1 |
5 |
0.00
|
An emulator of Atari 400/800/400XL/800XL/130XE/5200 |
severach
|
2022-12-26 01:57 (UTC) |
powertabeditor-git
|
2.0.0.alpha19.r61.g96550b3-1 |
1 |
0.21
|
Guitar tablature viewer and editor |
serycjon
|
2024-03-01 15:47 (UTC) |
powertabeditor
|
2.0.0_alpha19-1 |
0 |
0.00
|
Guitar tablature viewer and editor |
serycjon
|
2024-02-29 12:42 (UTC) |
libunarr-git
|
1.0.1.r0.gb57ee2a-1 |
7 |
0.00
|
A lightweight decompression library with support for rar, tar and zip archives. |
selmf
|
2017-11-04 09:19 (UTC) |
libunarr
|
1.1.1-1 |
9 |
0.00
|
A lightweight decompression library with support for rar, tar and zip archives. |
selmf
|
2023-10-21 06:41 (UTC) |
openocd-riot-git
|
0.11.0.r282.gae6de2f93-2 |
0 |
0.00
|
Debugging, in-system programming and boundary-scan testing for embedded target devices (git version with extra RIOT patches) |
seeseemelk
|
2021-08-13 06:42 (UTC) |
virtualjaguar-git
|
r504.8d86cf7-1 |
6 |
0.00
|
A portable Atari Jaguar emulator |
SebRmv
|
2022-02-15 08:58 (UTC) |
m68k-atari-mint-gcc
|
4.6.4-13 |
1 |
0.00
|
The GNU Compiler Collection for the Motorola M68000 architecture |
SebRmv
|
2022-02-04 17:44 (UTC) |
m68k-atari-mint-binutils
|
2.30-2 |
0 |
0.00
|
A set of programs to assemble and manipulate binary and object files for the M68K architecture |
SebRmv
|
2022-02-04 17:25 (UTC) |
xmonad-cinnamon-git
|
r2.cd41608-1 |
0 |
0.00
|
Starts xmonad inside a cinnamon session. |
scrollrk
|
2021-05-27 05:07 (UTC) |
blaeu-git
|
1.1.7.r2.3956cce-1 |
1 |
1.00
|
A set of Python programs to start distributed Internet measurements on the network of RIPE Atlas probes, and to analyze their results |
Schnouki
|
2022-06-09 12:14 (UTC) |
mint-x-icons
|
1.6.8-1 |
123 |
0.91
|
A mint/metal theme based on mintified versions of Clearlooks Revamp, Elementary and Faenza |
Santi-Burgos
|
2024-04-24 18:27 (UTC) |
pzl_targets
|
32.1-1 |
7 |
0.00
|
Each row, column and shape must contain a single Target. They cannot touch. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
celestia-addon-xwing
|
1-3 |
4 |
0.00
|
Celestia addon: Fictional: Star Wars: X-Wing |
SanskritFritz
|
2021-04-02 20:36 (UTC) |
celestia-addon-vaders_tie_fighter
|
1-2 |
4 |
0.00
|
Celestia addon: Fictional: Star Wars: Vader's Tie fighter |
SanskritFritz
|
2021-04-03 19:13 (UTC) |
celestia-addon-tatooine_endor_deathstar
|
1.1-2 |
5 |
0.00
|
Celestia addon: Fictional: Star Wars: Tatooine, Endor and Death Star |
SanskritFritz
|
2021-04-02 19:57 (UTC) |
celestia-addon-star_destroyer
|
1-2 |
4 |
0.00
|
Celestia addon: Fictional: Star Wars: Star Destroyer |
SanskritFritz
|
2021-04-03 19:07 (UTC) |
celestia-addon-millenium_falcon
|
1-2 |
4 |
0.00
|
Celestia addon: Fictional: Star Wars: Millenium Falcon |
SanskritFritz
|
2021-04-03 18:51 (UTC) |
celestia-addon-2010_exoplanets_ii
|
1.0-2 |
3 |
0.00
|
Celestia addon: Extrasolar: Stars: 2010 Exoplanets II |
SanskritFritz
|
2021-04-03 19:35 (UTC) |
celestia-addon-2010_exoplanets
|
1.0-2 |
2 |
0.00
|
Celestia addon: Extrasolar: Stars: 2010 Exoplanets |
SanskritFritz
|
2021-04-03 19:34 (UTC) |