metamath
|
0.198-1 |
1 |
0.00
|
A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified. |
aksr
|
2022-12-23 22:21 (UTC) |
metamask-chrome-git
|
10.32.0-1 |
0 |
0.00
|
Chrome extension that enables interacting with Ethereum Virtual Machine networks enabled websites |
truocolo
|
2024-02-08 06:11 (UTC) |
metamask-firefox-git
|
10.32.0-1 |
0 |
0.00
|
Firefox extension that enables interacting with Ethereum Virtual Machine networks enabled websites |
truocolo
|
2024-02-08 06:11 (UTC) |
metalua
|
0.5rc2-1 |
0 |
0.00
|
The metalua programming language |
keenerd
|
2015-08-09 18:41 (UTC) |
metalslug3
|
2014_06_09-2 |
0 |
0.00
|
Very hard sidescrolling platformer/shooter |
Chais
|
2015-07-03 17:08 (UTC) |
metalog-git
|
r16.3e3a494-3 |
0 |
0.00
|
A meta-template style log system for C++ |
Lancia
|
2023-10-02 17:56 (UTC) |
metalfan-git
|
r3.cf19af1-1 |
0 |
0.00
|
Fan control script |
novenary
|
2021-07-10 16:55 (UTC) |
metalctl-bin
|
0.16.3-1 |
0 |
0.00
|
A command line tool for metal-stack services |
usc
|
2024-06-16 16:24 (UTC) |
metalcloud-cli-bin
|
0.3.0-1 |
0 |
0.00
|
A command line tool for metal-stack cloud services |
usc
|
2024-06-14 14:52 (UTC) |
metakit
|
2.4.9.8-1 |
1 |
0.00
|
An efficient embedded database library with a small footprint |
gbs
|
2021-12-31 19:47 (UTC) |
metainfo-builder-git
|
r14.50f80bb-1 |
0 |
0.00
|
A small application to edit and create AppStream metadata files |
igor-dyatlov
|
2022-11-30 15:08 (UTC) |
metagedit-git
|
r65.d3d57a8-2 |
0 |
0.00
|
Gedit plugin which adds multiple improvements and functionalities to it |
yochananmarqos
|
2024-01-20 23:59 (UTC) |
metag-git
|
20190927-1 |
0 |
0.00
|
Ncurses audio tag editor with support of regex |
ache
|
2019-09-27 05:07 (UTC) |
metacity2
|
2.34.13-1 |
7 |
0.00
|
Legacy GNOME window manager |
bidulock
|
2015-08-15 16:12 (UTC) |
metacall-git
|
v0.5.20.r12.g2a4a9ee1-1 |
1 |
0.00
|
A CLI for a library providing inter-language foreign function interface calls |
AkechiShiro
|
2022-05-21 08:17 (UTC) |
metabase-driver-teradata
|
1.1.6-1 |
0 |
0.00
|
Teradata driver for Metabase |
AlphaJack
|
2023-07-09 14:53 (UTC) |
metabase-driver-starburst
|
4.1.0-1 |
0 |
0.00
|
Starburst driver for Metabase |
AlphaJack
|
2024-02-03 17:27 (UTC) |
metabase-driver-duckdb
|
0.2.3-1 |
0 |
0.00
|
DuckDB driver for Metabase |
AlphaJack
|
2024-02-03 17:20 (UTC) |
metabase-driver-dremio
|
1.2.0-1 |
0 |
0.00
|
Dremio driver for Metabase |
AlphaJack
|
2023-07-09 14:56 (UTC) |
metabase-driver-csv
|
1.3.1-2 |
0 |
0.00
|
CSV driver for Metabase |
AlphaJack
|
2023-07-09 14:46 (UTC) |
metabase-driver-clickhouse
|
1.3.3-1 |
0 |
0.00
|
ClickHouse driver for Metabase |
AlphaJack
|
2024-02-03 17:22 (UTC) |
meta-rules-dat
|
20240627-1 |
0 |
0.00
|
rules dat files by MetaCubeX |
poly000
|
2024-06-27 04:18 (UTC) |
meta-package-manager-git
|
5.1.0.r42.g3a916b0-1 |
0 |
0.00
|
A wrapper around all package managers (git version) |
autinerd
|
2022-06-14 19:00 (UTC) |
meta-package-manager
|
5.16.0-1 |
0 |
0.00
|
A wrapper around all package managers |
autinerd
|
2024-05-24 20:10 (UTC) |
mestrenova-12
|
12.0.4-3 |
0 |
0.00
|
Widely used commercial NMR interpreter in Version 12.x |
zdmx
|
2021-05-31 06:28 (UTC) |
messlidger
|
0.0.0.dev0+20240516.gite91c2b67e7.py3.12-1 |
0 |
0.00
|
A feature-rich Facebook Messenger to XMPP puppeteering gateway, based on slidge and mautrix-facebook. |
taba
|
2024-06-17 05:20 (UTC) |
messenger-gtk-git
|
r262.6ae55ea-1 |
3 |
0.00
|
A graphical user interface for GNUnet Messenger |
grufo
|
2024-03-14 17:45 (UTC) |
messages-nativefier
|
1.0-1 |
0 |
0.00
|
Google Messages Nativefier app |
uint2048_t
|
2023-08-13 16:44 (UTC) |
messagelib-git
|
6.0.42_r7783.g6c19cce20-1 |
0 |
0.00
|
KDE PIM messaging library |
IslandC0der
|
2024-03-01 06:55 (UTC) |
mess822
|
0.58-2 |
1 |
0.00
|
mess822 is a library for parsing Internet mail messages works wellwith qmail |
uffe
|
2015-10-23 09:12 (UTC) |
mesquite
|
3.81_build955-1 |
0 |
0.00
|
A modular, extendible software for evolutionary biology, designed to help biologists organize and analyze comparative data about organisms |
malacology
|
2023-05-15 16:23 (UTC) |
mesquite-extra
|
3.81_build955-1 |
0 |
0.00
|
extra data for mesquite |
malacology
|
2023-05-15 16:23 (UTC) |
mesquite-doc
|
3.81_build955-1 |
0 |
0.00
|
doc for mesquite |
malacology
|
2023-05-15 16:23 (UTC) |
mesos
|
1.9.0-1 |
14 |
0.00
|
A cluster manager that simplifies the complexity of running applications on a shared pool of servers |
orphan
|
2019-11-26 09:30 (UTC) |
mesonwrap
|
0.2.0-1 |
0 |
0.00
|
Meson wraps service and tools |
legeana
|
2020-03-16 21:44 (UTC) |
mesonlsp
|
4.2.0-1 |
0 |
0.00
|
Meson language server |
polyzen
|
2024-05-03 18:50 (UTC) |
meson-ui
|
0.20.1-1 |
0 |
0.00
|
Qt GUI for the Meson build system |
orphan
|
2020-07-14 17:03 (UTC) |
meson-cross-x86-linux-gnu
|
1.0.4-2 |
3 |
0.00
|
Meson cross file for x86 Linux |
oxalin
|
2023-07-17 02:31 (UTC) |
meson-cross-riscv64-linux-gnu
|
1-1 |
0 |
0.00
|
Meson cross file for riscv64 |
1ace
|
2019-01-08 19:01 (UTC) |
meson++-git
|
r582.3f30fd9-1 |
0 |
0.00
|
an experimental and incomplete implementation of Meson in C++, for solving Meson's bootstrapping issue |
Freed
|
2024-04-07 12:25 (UTC) |
mesms-git
|
0.9.0-1 |
0 |
0.00
|
A TUI SMS manager |
ache
|
2019-09-27 05:19 (UTC) |
mesmer
|
6.1-1 |
1 |
0.00
|
An open-source master equation solver for multi-energy well reactions |
a.kudelin
|
2021-11-09 22:28 (UTC) |
meshup
|
0.6.0-1 |
0 |
0.00
|
Visualization tool for multibody systems based on skeletal animation and magic. |
cherti
|
2019-03-28 17:31 (UTC) |
meshroom-git
|
2021.1.0.r630.g8e9128be-1 |
2 |
0.00
|
Meshroom is a free, open-source 3D Reconstruction Software based on the AliceVision framework. |
bartus
|
2022-11-18 21:42 (UTC) |
meshroom
|
2023.3.0-1 |
0 |
0.00
|
A free, open-source 3D Reconstruction Software based on the AliceVision framework |
orphan
|
2024-05-21 23:39 (UTC) |
meshlab-git
|
2023.12.r7.gdfb630012-1 |
1 |
0.00
|
System for processing and editing of unstructured 3D models arising in 3D scanning (qt5 version) |
bartus
|
2024-01-12 16:34 (UTC) |
meshlab-appimage
|
2022.02-1 |
0 |
0.00
|
Open source system for processing and editing 3D triangular meshes. Appimage package |
gmy
|
2022-04-05 10:57 (UTC) |
meshconv
|
1.29-1 |
0 |
0.00
|
Converts to and from several popular 3D file formats |
bartus
|
2020-09-08 08:19 (UTC) |
meshboard-xorg
|
0.5.5-1 |
0 |
0.00
|
Synchronize the clipboard across a mesh of hosts, with xorg integration |
hossbeast
|
2023-12-28 22:30 (UTC) |
meshboard-wayland
|
0.5.5-1 |
0 |
0.00
|
Synchronize the clipboard across a mesh of hosts, with wayland integration |
hossbeast
|
2023-12-28 22:29 (UTC) |