|
jurism
|
5.0.93m18-3 |
1 |
0.49
|
Juris-M Standalone. Is a variant of Zotero, with legal and multilingual support. |
mvw
|
2021-08-28 08:42 (UTC) |
|
isabelle-tum
|
2021_1-1 |
1 |
0.00
|
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM. |
MW360
|
2021-12-13 23:15 (UTC) |
|
stata
|
18-1 |
0 |
0.00
|
A high-level statistical language used in econometrics and statistics. |
mwaddoups
|
2024-01-10 14:34 (UTC) |
|
syncterm
|
1.1-4 |
17 |
0.00
|
A BBS terminal program, supporting ANSI music and IBM charset. |
mwawrzyniak
|
2022-06-02 20:06 (UTC) |
|
trillian
|
6.3.0.1-1 |
16 |
0.00
|
A commercial, multi-protocol and cross-platform IM client |
mwawrzyniak
|
2020-07-13 21:40 (UTC) |
|
mkinitcpio-nannycam
|
0.1-1 |
0 |
0.00
|
Assists protecting encrypted boot partitions from (some) Evil Maid attacks |
mwberry
|
2016-11-13 02:33 (UTC) |
|
mkinitcpio-yk2fe
|
0.1-1 |
2 |
0.00
|
Two factor LUKS disk encryption using Yubikey Challenge Response |
mwberry
|
2016-10-23 18:50 (UTC) |
|
pam-ssh-git
|
2.3.r0.g6b4848e-1 |
0 |
0.00
|
A Pluggable Authentication Module (PAM) for use with SSH. |
mwberry
|
2019-03-24 19:14 (UTC) |
|
re2c-git
|
1.1.1_253_ga6cde618-1 |
0 |
0.00
|
lexer generator for C/C++ http://re2c.org |
mwberry
|
2019-03-24 20:35 (UTC) |
|
rtorrent-systemd
|
0.1-1 |
2 |
0.00
|
Systemd integration for rtorrent |
mwberry
|
2016-04-07 06:39 (UTC) |
|
s2n-git
|
r2225.2fbc43d3-1 |
0 |
0.00
|
Implementation of the TLS/SSL protocols that is designed to be simple, small, fast, and with security as a priority |
mwberry
|
2019-03-24 18:48 (UTC) |
|
acdcontrol-git
|
17.cc6315f-1 |
3 |
0.00
|
Apple Cinema Display Control Utility for Linux |
mwohlert
|
2021-01-09 20:53 (UTC) |
|
quickerd
|
1-1 |
0 |
0.00
|
quicker way to draw an ERD! |
mwohlert
|
2017-10-23 19:40 (UTC) |
|
xeventbind-git
|
r4.a0b00ed-1 |
0 |
0.00
|
A small utillity that runs your executable/script when interesting X11 events are fired |
mws
|
2018-04-17 17:46 (UTC) |
|
network-manager-applet-nolibappindicator
|
1.32.0-3 |
0 |
0.00
|
Applet for managing network connections |
mwyraz
|
2023-09-21 06:38 (UTC) |
|
caur
|
1.0-1 |
0 |
0.00
|
A simple AUR Helper written in C |
mxdi
|
2023-08-02 01:57 (UTC) |
|
dynamicarray
|
2.2.0-6 |
0 |
0.00
|
Dynamic arrays in C |
mxdi
|
2024-03-16 22:42 (UTC) |
|
stagenda
|
1-2 |
0 |
0.00
|
A simple agenda program for *nix operating systems |
mxdi
|
2023-09-22 04:42 (UTC) |
|
dracut-colors-git
|
2.a3b7f98-1 |
1 |
1.00
|
dracut hook to set VT console colors during early userspace |
mxfm
|
2020-03-09 18:13 (UTC) |
|
gtk4-customizable
|
1:4.12.4-1 |
1 |
0.14
|
GObject-based multi-platform GUI toolkit, with SSD support and additional theming options |
mxj44
|
2024-01-03 22:40 (UTC) |
|
cmm-svn
|
r8466-1 |
0 |
0.00
|
SPHINX C-- Compiler . C-- is a programming language occupying an intermediate position between Assembler and C. |
mxlgv
|
2020-12-22 16:43 (UTC) |
|
dino-plus-git
|
v0.4.3.fork.3.r14.gbec8a5b6-1 |
2 |
1.98
|
Dino+ is a fork of Dino, a modern XMPP/Jabber client |
mxlgv
|
2024-04-16 19:26 (UTC) |
|
ecwolf-git
|
1.3.3.r365.g0fc332d-1 |
4 |
0.01
|
Advanced source port of "Wolfenstein 3D" and "Spear of Destiny" based on Wolf4SDL (development version) |
mxlgv
|
2021-04-09 10:44 (UTC) |
|
gravity_defied_cpp-git
|
0.1-1 |
1 |
0.01
|
Disassembled legendary game "GravityDefied" translated into C++ |
mxlgv
|
2023-09-10 21:25 (UTC) |
|
kerpack-svn
|
r8139-1 |
1 |
0.00
|
A program for compressing apps and the KolibriOS kernel using the LZMA method. |
mxlgv
|
2020-11-05 20:49 (UTC) |
|
kex-git
|
r52.96d1fa2-1 |
0 |
0.00
|
KolibriOS emulator for running applications in Linux. |
mxlgv
|
2020-09-29 16:55 (UTC) |
|
kos32-kpack
|
r8092-1 |
0 |
0.00
|
KolibriOS executable compression. |
mxlgv
|
2021-03-17 15:00 (UTC) |
|
plank-theme-bigsur
|
0.1-1 |
0 |
0.00
|
BigSur, BigSur-Dark and BigSur-Grey theme for Plank |
mxlgv
|
2021-03-16 22:18 (UTC) |
|
teatool
|
1.8-1 |
0 |
0.00
|
Tiny encryption algorithm utility |
mxlgv
|
2020-10-09 18:49 (UTC) |
|
zasm
|
4.4.13-1 |
6 |
0.05
|
Z80/8080/Z180 assembler |
mxlgv
|
2023-11-20 18:17 (UTC) |
|
zasm-git
|
4.4.13.r0.gb91d51d-1 |
1 |
0.05
|
Z80/8080/Z180 assembler |
mxlgv
|
2023-11-20 15:36 (UTC) |
|
factorio-headless
|
1.1.104-1 |
18 |
0.12
|
A 2D game about building and maintaining factories - Server version (stable branch) |
mxmeinhold
|
2024-02-16 01:28 (UTC) |
|
python-rapidgzip
|
0.13.1-1 |
0 |
0.00
|
A parallelized gzip decoder with seek capability |
mxmln
|
2024-03-25 14:42 (UTC) |
|
python-mopidy-tidal
|
0.3.4-2 |
0 |
0.00
|
Tidal music service integration |
mxp43p
|
2024-02-15 19:25 (UTC) |
|
bing
|
1.3.5-1 |
8 |
0.00
|
Measure the bandwidth between two hosts using the ICMP protocol without the need of a client/server architecture |
mxr
|
2019-12-05 17:06 (UTC) |
|
mkinitcpio-tpm-encrypt
|
1.0-1 |
3 |
0.00
|
mkinitcpio hook that decrypts a TPM-sealed LUKS keyfile |
mxr
|
2017-09-30 03:55 (UTC) |
|
bgpq4
|
1.12-1 |
2 |
0.34
|
BGP filtering automation tool based on IRR data |
mxsasha
|
2024-02-21 17:47 (UTC) |
|
rpki-client
|
9.0-1 |
2 |
0.00
|
Implementation of RPKI for Relying Parties to facilitate ROA validation |
mxsasha
|
2024-03-04 08:44 (UTC) |
|
funcoeszz
|
21.1-1 |
5 |
0.00
|
Brazilian script with 134 useful mini applications |
Mxzcabel
|
2023-03-21 20:53 (UTC) |
|
nordvpn-bin
|
3.17.4-1 |
161 |
1.12
|
NordVPN CLI tool for Linux |
Mxzcabel
|
2024-04-05 12:55 (UTC) |
|
ytui-git
|
0.r5.195de04-1 |
0 |
0.00
|
A bad youtube TUI client written in bash |
mybeansarebaked
|
2021-08-23 18:41 (UTC) |
|
brother-mfc-l2705dw
|
3.2.0-1 |
0 |
0.00
|
LPR and CUPS driver for the Brother MFC-L2705DW |
mybluevan
|
2021-09-01 17:52 (UTC) |
|
mementodb
|
1.12.0-1 |
1 |
0.00
|
A user-friendly database. |
mybluevan
|
2022-08-17 17:21 (UTC) |
|
pbcli
|
2.3.1-1 |
0 |
0.00
|
pbcli is a command line client which allows to upload and download pastes from privatebin directly from the command line. |
Mydayyy
|
2024-03-30 15:22 (UTC) |
|
gnome-terminal-fedora
|
3.50.1-2 |
63 |
0.00
|
The GNOME Terminal Emulator with Fedora patches |
mydongistiny
|
2023-12-21 00:19 (UTC) |
|
meld-git
|
3.21.3.6.g8112b4e8-2 |
12 |
0.00
|
Visual diff and merge tool |
mydongistiny
|
2022-09-01 00:23 (UTC) |
|
vte-notification-common
|
0.76.0-1 |
35 |
0.00
|
Common files used by vte and vte3/vte4 |
mydongistiny
|
2024-04-15 14:05 (UTC) |
|
vte-notification-docs
|
0.76.0-1 |
35 |
0.00
|
Virtual Terminal Emulator widget documentation |
mydongistiny
|
2024-04-15 14:05 (UTC) |
|
vte3-notification
|
0.76.0-1 |
35 |
0.00
|
Virtual Terminal Emulator widget for use with GTK3 with Fedora patches |
mydongistiny
|
2024-04-15 14:05 (UTC) |
|
vte4-notification
|
0.76.0-1 |
35 |
0.00
|
Virtual Terminal Emulator widget for use with GTK4 with Fedora patches |
mydongistiny
|
2024-04-15 14:05 (UTC) |