minlog-git
|
r610.4a9a1e4-2 |
1 |
0.00
|
Interactive proof system based on first order natural deduction calculus. |
orphan
|
2021-03-06 11:50 (UTC) |
miopen-deps
|
3.0.0-2 |
0 |
0.00
|
AMD's Machine Intelligence Library - dependencies |
orphan
|
2020-02-11 09:43 (UTC) |
mips-linux-binutils-bin
|
2.9.5-1 |
0 |
0.00
|
A set of programs to assemble and manipulate binary and object files (mips-linux) |
orphan
|
2020-12-07 22:31 (UTC) |
mips-linux-egcs-bin
|
1.1.2-1 |
0 |
0.00
|
Experimental GNU Compiler System (EGCS MIPS) |
orphan
|
2020-12-07 22:29 (UTC) |
mir-git
|
1.5.0+146+gd42981b4a6-2 |
3 |
0.00
|
Canonical's display server |
orphan
|
2020-08-04 16:46 (UTC) |
mir.qualia
|
2.0.0-1 |
1 |
0.00
|
Automatically comment and uncomment config file sections |
orphan
|
2019-03-02 01:10 (UTC) |
miraiok-bin
|
0.5.2-1 |
1 |
0.00
|
一个提供QQ Android协议支持的高效率机器人库 |
orphan
|
2020-07-06 08:18 (UTC) |
miro-video-converter
|
3.0.2-6 |
9 |
0.00
|
Simple video converter for MP4, WebM (vp8) and Ogg Theora |
orphan
|
2020-03-01 07:20 (UTC) |
mirror-sync
|
1.3.11-1 |
1 |
0.00
|
A tool for real-time, two-way sync for remote (e.g. desktop/laptop) development |
orphan
|
2021-01-31 14:54 (UTC) |
mirror-sync-git
|
1.3.8.r3.a15df13-1 |
0 |
0.00
|
A tool for real-time, two-way sync for remote (e.g. desktop/laptop) development |
orphan
|
2020-03-07 07:58 (UTC) |
mirrorlist-rankmirrors-hook
|
2-1 |
11 |
0.06
|
Pacman hook to automatically rank new mirrors |
orphan
|
2022-10-29 18:39 (UTC) |
mist-icon-theme
|
3.0.0+20+gaaba3bb-2 |
31 |
0.00
|
Mist icon theme |
orphan
|
2019-05-27 20:39 (UTC) |
mit-scheme-git
|
13.0.50.r18718.6afb904d359-1 |
3 |
0.00
|
MIT/GNU Scheme from git |
orphan
|
2023-08-04 16:14 (UTC) |
mitie-git
|
r5150.832cbd6f-1 |
1 |
0.00
|
MITIE: library and tools for information extraction |
orphan
|
2019-10-08 13:11 (UTC) |
mitk
|
2022.04-1 |
2 |
0.00
|
Medical Imaging Interaction Toolkit (MITK) is a free open-source software system for development of interactive medical image processing software. |
orphan
|
2022-05-23 14:25 (UTC) |
mitk-bin
|
2018.04.2-1 |
0 |
0.00
|
Medical Imaging Interaction Toolkit (MITK) is a free open-source software system for development of interactive medical image processing software. |
orphan
|
2020-03-23 10:09 (UTC) |
mixbench-cuda-git
|
0.193.v0.03.8.gbab3fb7-1 |
0 |
0.00
|
GPU benchmark tool for evaluating GPUs on mixed operational intensity kernels (CUDA implementation) |
orphan
|
2020-11-23 20:24 (UTC) |
mixbus32c9
|
9.2.172-2 |
0 |
0.00
|
Harrison Consoles Mixbus 32C DAW (Version 9) |
orphan
|
2024-04-13 01:39 (UTC) |
mixbus9
|
9.2.172-1 |
0 |
0.00
|
Harrison Consoles Mixbus DAW (Version 9) |
orphan
|
2023-11-23 03:41 (UTC) |
mixtool
|
0.0.0.r82.g4c07d4ed7465-1 |
1 |
0.00
|
helper for easily working with jsonnet mixins |
orphan
|
2022-10-26 22:22 (UTC) |
mkbib
|
2.1-4 |
2 |
0.00
|
A gtk3-Program to create bibtex-files |
orphan
|
2021-03-16 18:18 (UTC) |
mkbootimg-git
|
2020.05.18.r0.g8dd5b5b5-2 |
0 |
0.00
|
Android mkbootimg + unpackbootimg, forked and updated (osm0sis) |
orphan
|
2020-07-17 11:31 (UTC) |
mkcue
|
1_7-2 |
12 |
0.00
|
generates a cue sheet from a cd |
orphan
|
2021-05-29 20:54 (UTC) |
mkgmap-svn
|
3617-1 |
9 |
0.00
|
Create maps for Garmin GPS devices from OpenStreetMap (OSM) data. |
orphan
|
2017-12-11 16:49 (UTC) |
mkinitcpio-encrypt-bootsplash
|
2-1 |
0 |
0.00
|
a mkinitcpio hook to pause bootsplash for LUKS password input |
orphan
|
2021-01-11 23:28 (UTC) |
mkinitcpio-haveged
|
0.2-1 |
2 |
0.00
|
mkinitcpio hook to run haveged for entropy generation |
orphan
|
2019-07-25 18:41 (UTC) |
mkinitcpio-nbd
|
0.4.2-1 |
1 |
0.00
|
mkinitcpio hook to boot from a Network Block Device (NBD) |
orphan
|
2023-03-04 12:11 (UTC) |
mkpdf
|
0.3.2-1 |
1 |
0.00
|
A simple wrapper around pandoc and latexmk |
orphan
|
2019-04-22 08:46 (UTC) |
mkunified-git
|
0.r5.g1a5763a-2 |
0 |
0.00
|
Unified kernel image generation utility which supports initrd generation using mkinitcpio |
orphan
|
2021-06-28 17:31 (UTC) |
mkusb
|
0.3.1-1 |
5 |
0.00
|
A shell script to create ISO multiboot USB flash drives that support both legacy and EFI boot |
orphan
|
2022-02-15 08:31 (UTC) |
mlbstreamer
|
0.0.10-2 |
0 |
0.00
|
Enables real-time and time-shifted viewing of MLB.tv streams |
orphan
|
2019-11-19 20:55 (UTC) |
mlbstreamer-git
|
v0.0.10.r40.gbb3caab-1 |
0 |
0.00
|
Enables real-time and time-shifted viewing of MLB.tv streams |
orphan
|
2019-11-19 20:59 (UTC) |
mlbviewer
|
2015_sf_1-1 |
4 |
0.00
|
A collection of tools to view and listen to streaming baseball games from MLB.TV. |
orphan
|
2015-08-09 21:40 (UTC) |
mlink
|
1.2.0-2 |
1 |
0.00
|
A tool connecting mBlock web version to devices |
orphan
|
2020-06-14 08:11 (UTC) |
mlrpt
|
1.6.4-2 |
2 |
0.00
|
Non-interactive command-line version of glrpt for receiving, decoding and saving LRPT images from the Russian Meteor-M type of weather satellites |
orphan
|
2020-02-21 22:48 (UTC) |
mm-common-git
|
0.9.12.r7.gcca2cf9-1 |
1 |
0.00
|
The build infrastructure and utilities shared among the GNOME C++ binding libraries |
orphan
|
2022-03-15 22:45 (UTC) |
mmapper-git
|
23.05.0.r8.gd7efa7b1-1 |
2 |
0.00
|
MUD (Multi-User Dungeon) mapper especially written for the MUD MUME |
orphan
|
2023-11-04 13:19 (UTC) |
mmdvmcal-git
|
r129.76a13a8-1 |
0 |
0.00
|
The calibration program for the MMDVM |
orphan
|
2021-01-07 13:05 (UTC) |
mmg-git
|
1:5.7.0.2.ge04216d1-1 |
0 |
0.00
|
Anisotropic tetrahedral remesher and moving mesh generator |
orphan
|
2022-12-14 16:19 (UTC) |
mmsd-git
|
r648.f4b8b32-1 |
0 |
0.00
|
Multimedia Messaging Service |
orphan
|
2020-11-09 16:47 (UTC) |
mobicon-cli
|
3.0.0-1 |
0 |
0.00
|
Mobile icon generator |
orphan
|
2020-05-13 22:59 (UTC) |
moc-unstable
|
1:2.6_alpha3-1 |
1 |
0.00
|
An ncurses console audio player designed to be powerful and easy to use |
orphan
|
2022-12-15 14:33 (UTC) |
mocicon
|
0.1.4-8 |
4 |
0.00
|
GTK panel applet that lets you control MOC (Music On Console) |
orphan
|
2015-08-15 16:14 (UTC) |
mockito
|
2.2.8-1 |
6 |
0.00
|
A java mocking framework that lets you write beautiful tests with a clean and simple API |
orphan
|
2016-10-27 20:36 (UTC) |
mocp-themes-git
|
r16.c648a6a-1 |
0 |
0.00
|
A collection of themes for the music on console player |
orphan
|
2020-08-22 00:03 (UTC) |
mod-desktop-network-bin
|
0.0.10-3 |
0 |
0.00
|
MOD Desktop Application with network access to mod-ui |
orphan
|
2024-02-12 13:37 (UTC) |
modemmanager-git
|
1.10.0+170+gd7696d8e-1 |
1 |
0.00
|
Mobile broadband modem management service |
orphan
|
2019-07-26 22:36 (UTC) |
modemmanager-qt-git
|
r457.70e7a3a-1 |
6 |
0.00
|
Qt wrapper for ModemManager DBus API |
orphan
|
2020-11-12 18:07 (UTC) |
modulo-git
|
r85.1a6a389-1 |
1 |
0.00
|
Basic Cross-platform GUI Toolkit for Any Language |
orphan
|
2020-09-24 18:58 (UTC) |
mod_gnutls
|
0.11.0-1 |
1 |
0.00
|
Apache module for the GnuTLS library |
orphan
|
2021-04-10 09:01 (UTC) |