|
mathsat-5
|
5.6.9-1 |
1 |
0.00
|
MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities |
Ice_Phoenix
|
2023-01-30 14:14 (UTC) |
|
mathomatic
|
16.0.5-9 |
1 |
0.02
|
General purpose Computer Algebra System written in C |
ParaSait
|
2023-04-04 13:38 (UTC) |
|
mathicsscript
|
6.0.0-2 |
1 |
0.00
|
A more advanced command-line interface to Mathics. |
vicp74
|
2023-09-29 14:51 (UTC) |
|
mathics-pygments
|
1.0.2-1 |
1 |
0.00
|
A pygments-based lexer and scanner for Mathics. |
Techcable
|
2024-03-30 20:49 (UTC) |
|
mathcomp-git
|
20191007-1 |
1 |
0.00
|
The Mathematical Components Library for the Coq system. |
soimort
|
2019-10-12 12:15 (UTC) |
|
ttf-material-symbols-variable-git
|
4.0.0.r91.ga90037f8-1 |
1 |
0.04
|
Material Design icons by Google - variable fonts |
MoetaYuko
|
2023-11-21 10:05 (UTC) |
|
woff2-material-symbols-variable-git
|
4.0.0.r91.ga90037f8-1 |
1 |
0.04
|
Material Design icons by Google - variable fonts |
MoetaYuko
|
2023-11-21 10:05 (UTC) |
|
materia-transparent-gtk-theme-git
|
1:r1648.85bdc295-1 |
1 |
0.00
|
A Transparent Material Design theme for GNOME/GTK+ based desktop environments |
amongus
|
2021-05-04 00:09 (UTC) |
|
materia-theme-dracula-git
|
r1474.46ae66a2-1 |
1 |
0.00
|
This is the Materia theme except with Dracula colors. Modified by afraidofmusic |
timescam
|
2022-03-15 02:08 (UTC) |
|
materia-custom-accent
|
20210322-1 |
1 |
0.00
|
Easy installer for the materia theme with a custom accent color, gdm and qt5 support (edit PKGBUILD) |
orphan
|
2021-03-27 02:25 (UTC) |
|
mate-settings-daemon-gtk2
|
1.16.2-1 |
1 |
0.00
|
The MATE Settings daemon (GTK2 version) |
orphan
|
2017-07-28 17:54 (UTC) |
|
mate-session-manager-gtk2
|
1.14.1-2 |
1 |
0.00
|
The MATE Session Handler (GTK2 version) |
orphan
|
2017-07-28 17:54 (UTC) |
|
mate-notification-theme-slate
|
6.0-1 |
1 |
0.00
|
A CSS-backed notification theme for the MATE Desktop. The fallback styling for this plugin emulates the Arc-styled Budgie notifications. |
mforthewin
|
2019-04-29 19:56 (UTC) |
|
mate-neru-canta-theme
|
1.6-2 |
1 |
0.00
|
Neru Canta theme Mate |
basigur
|
2019-07-06 07:14 (UTC) |
|
mate-multiload-ng-applet-gtk2
|
1.5.2-3 |
1 |
0.00
|
Modern graphical system monitor, MATE panel applet |
udda
|
2020-07-30 21:06 (UTC) |
|
mate-layouts
|
0.1.1-1 |
1 |
0.00
|
a simple panel layout switching application for the MATE Desktop |
FreaxMATE
|
2022-04-14 20:22 (UTC) |
|
mate-fastcomposwitch-git
|
20200406-10 |
1 |
0.00
|
Compositor or not with a simple systray icon |
Elrondo46
|
2022-02-06 07:06 (UTC) |
|
mate-applet-lockkeys
|
0.3.2-1 |
1 |
0.00
|
A MATE panel applet that shows which of the CapsLock, NumLock and ScrollLock keys are on and which are off. |
mokkurkalve
|
2017-07-28 13:16 (UTC) |
|
matchbox-window-manager-git
|
1.2.2.5.gbc880f5-1 |
1 |
0.00
|
A pretty much unique X window manager with a classic PDA management policy |
tallero
|
2020-11-05 13:28 (UTC) |
|
matchbox
|
0.9.0-1 |
1 |
0.00
|
Network boot and provision Fedora CoreOS and Flatcar Linux clusters. |
denisse
|
2021-06-09 05:24 (UTC) |
|
matcha-gtk-theme-maximize
|
2023.10.30-1 |
1 |
0.16
|
A flat design theme for GTK 3, GTK 2 and GNOME Shell. Replaces the restore button with the maximize button. |
magicaldrizzle
|
2024-01-21 10:51 (UTC) |
|
mastorss-git
|
r278.baf3e20-1 |
1 |
0.00
|
Automatically read RSS feeds and post the items via the Mastodon API. Does not support Atom at the moment. |
emilio-r
|
2020-12-06 13:19 (UTC) |
|
mastodonpp-git
|
r337.cca3a4a-1 |
1 |
0.00
|
A C++ wrapper for the Mastodon and Pleroma APIs. It replaces mastodon-cpp. |
emilio-r
|
2020-12-06 13:21 (UTC) |
|
masterscp
|
20230903-1 |
1 |
0.00
|
Super Check Partial Database Files for Ham Radio Contesting |
not_anonymous
|
2023-09-25 20:40 (UTC) |
|
masscode
|
3.11.0-1 |
1 |
0.00
|
A free and open source code snippets manager for developers |
bigshans
|
2024-02-19 08:56 (UTC) |
|
mascii
|
2.0.0-1 |
1 |
0.00
|
This is source code for the Musical Ascii ("Mascii") polyphonic text-based music notation system. |
Phaotee
|
2022-03-31 01:07 (UTC) |
|
masari
|
0.3.1.2-1 |
1 |
0.00
|
Masari: cryptonote currency daemon, wallet, and miner |
mags
|
2019-10-26 14:40 (UTC) |
|
marwaita-icons-git
|
20200718-1 |
1 |
0.00
|
Icon pack for linux |
jmd
|
2022-05-09 09:06 (UTC) |
|
marvinc-git
|
1.4.1.r0.g6acf76c-1 |
1 |
0.00
|
MarvInc is a zachlike puzzle game with a story told through emails. |
RenatoLG
|
2020-05-31 23:11 (UTC) |
|
martinize-git
|
v0.3.1.r8.2a50f80-1 |
1 |
0.00
|
Describe and apply transformation on molecular structures and topologies |
Ezmagon
|
2019-12-10 11:45 (UTC) |
|
martin-todo-git
|
r13.7dce80e-1 |
1 |
0.00
|
Extremely simple todo app because everything sucks |
sandsmark
|
2019-10-21 17:58 (UTC) |
|
mars2mseed
|
1.4-1 |
1 |
0.00
|
Convert MARS 88/lite seismic time series to miniSEED. |
morealaz
|
2021-08-29 15:57 (UTC) |
|
mars-sim-bin
|
3.6.0-1 |
1 |
0.00
|
open source Java project aiming at building computer models that characterize operational and relational aspects of establishing human settlements on Mars |
orphan
|
2023-08-25 05:36 (UTC) |
|
marmota
|
22.17.0-1 |
1 |
0.00
|
Simple Markdown Presentations |
bountin
|
2022-04-27 09:54 (UTC) |
|
markov-typing-git
|
r209.7116ca7-1 |
1 |
0.00
|
Typing tutor that uses Markov chain to generate random strings. |
akstrfn
|
2018-08-29 20:58 (UTC) |
|
markoftheninja-hib
|
1.38+h20131002-1 |
1 |
0.00
|
Mark of the Ninja, a side-scrolling stealth game (Humble Bundle version) |
smls
|
2015-07-09 14:46 (UTC) |
|
marker-md
|
1.3.0-1 |
1 |
0.75
|
A Desktop App for Easily Viewing and Editing Markdown Files. |
mistgc
|
2024-04-10 13:49 (UTC) |
|
markdown-link-check
|
3.12.1-1 |
1 |
0.00
|
Checks aliveness of hyperlinks in markdown documents |
carsme
|
2024-03-12 08:18 (UTC) |
|
markdown-editor-zzy-ac
|
1-2 |
1 |
0.00
|
markdown editor by zzy-ac |
zzy-ac
|
2021-06-06 14:48 (UTC) |
|
markdown-editor
|
1.0.7-2 |
1 |
0.00
|
standalone editor for your local markdown files |
vaygr
|
2023-06-11 13:18 (UTC) |
|
mark-mind
|
1.3.1-2 |
1 |
0.00
|
Mark Mind — Next generation mind map editor (electron) |
taotieren
|
2023-07-05 13:26 (UTC) |
|
mark-mind-appimage
|
1.3.1-2 |
1 |
0.00
|
Mark Mind — Next generation mind map editor (AppImage) |
taotieren
|
2023-07-05 13:26 (UTC) |
|
mariadbpp-git
|
1.0.0-0 |
1 |
0.00
|
C++ client library for MariaDB |
orphan
|
2019-08-10 06:47 (UTC) |
|
mariadb-connector-cpp-git
|
20211016-2 |
1 |
0.00
|
MariaDB Connector for C++ . |
Y7n05h
|
2021-10-16 15:55 (UTC) |
|
marco-gtk2
|
1.16.1-2 |
1 |
0.00
|
A window manager for MATE (GTK2 version) |
orphan
|
2017-07-28 18:08 (UTC) |
|
marblemarcher-git
|
v1.4.2.r54.gec85f58-1 |
1 |
0.00
|
Community Version of the game Marble Marcher, where you explore 3D raymarched fractals by controlling a marble |
Zyansheep
|
2020-06-01 22:40 (UTC) |
|
marble-maps-thunderforest-git
|
r13.20220207.cfdc60d-3 |
1 |
0.00
|
Maps served by thunderforest for KDE marble. API key required and asked for during build. |
dreieck
|
2023-06-02 08:24 (UTC) |
|
marble-maps-sachsen
|
20230922.01-1 |
1 |
0.00
|
Aerial (RGB and CIR) and topographic (DTK10, DTK25, DTK50, DTK100 and historic) maps provided by the German federal state of Saxony. WMS maps, if 'marble' crashes try 'marble-qt'. |
dreieck
|
2023-09-22 11:55 (UTC) |
|
maputnik-cli
|
1.7.0-1 |
1 |
0.02
|
Maputnik-CLI for local development of Mapbox styles. |
hauke96
|
2023-09-22 08:40 (UTC) |
|
mapton
|
2.1.1-1 |
1 |
0.00
|
Some kind of map application |
trixon
|
2020-11-29 18:57 (UTC) |