mcrl2-bin
|
202307.1-1 |
0 |
0.00
|
A formal specification language with an associated toolset installed from the 'deb' GitHub release package. |
Kevinjil
|
2023-11-15 14:45 (UTC) |
mcrl2
|
202307.1-1 |
7 |
0.00
|
A formal specification language with an associated toolset. |
erackron
|
2023-11-15 15:29 (UTC) |
mcpat-git
|
1.3-1 |
0 |
0.00
|
An integrated power, area, and timing modeling framework for multicore and manycore architectures |
bolleyboll
|
2023-03-26 18:01 (UTC) |
mcp-mapping-viewer
|
1.0.1-2 |
0 |
0.00
|
A small GUI for viewing the mappings from Minecraft obfuscated code names to MCP code names. |
mattsturgeon
|
2017-06-17 10:08 (UTC) |
mcos-mjv-xfce-edition
|
2.3r5.6435c39-2 |
0 |
0.00
|
It's GTK2,GTK3,XFCE4,NOTIFYD theme Mac OS created PaulXFCE |
basigur
|
2019-10-12 07:11 (UTC) |
maxima-git
|
5.47.1.363.g0ebda7220-1 |
6 |
0.00
|
Sophisticated computer algebra system - git-version |
orphan
|
2023-08-03 21:00 (UTC) |
maww
|
1.0.0-1 |
1 |
0.00
|
Animated backgrounds on Linux |
JoaoCostaIFG
|
2021-07-16 00:37 (UTC) |
mauikit-texteditor-git
|
3.1.0.r25.g31a63d1-1 |
0 |
0.00
|
MauiKit Text Editor components |
FabioLolix
|
2024-05-02 19:59 (UTC) |
mauikit-git
|
3.1.0.r8.gb2984f59-1 |
2 |
0.00
|
Utilities and "templated" controls based on Kirigami and QCC2 that follow the ongoing work on the Maui HIG |
FabioLolix
|
2024-03-19 06:08 (UTC) |
matrixone
|
0.4.0-1 |
0 |
0.00
|
Planet scale, cloud-edge native big data engine crafted for heterogeneous workloads |
Y7n05h
|
2022-05-05 07:57 (UTC) |
mate-no-sleep-on-battery-lid-closed-git
|
r2.g1c6ee3e-1 |
0 |
0.00
|
Don't suspend if you have external display connected when running on laptop's battery in MATE desktop |
zaps166
|
2022-07-18 10:22 (UTC) |
masscanned-git
|
0.2.0.dev44-1 |
0 |
0.00
|
A low-interaction focused on network scanners and bots. It integrates very well with IVRE to build a self-hosted alternative to GreyNoise. |
plt
|
2021-12-28 18:59 (UTC) |
masscanned
|
0.2.0-1 |
0 |
0.00
|
A low-interaction focused on network scanners and bots. It integrates very well with IVRE to build a self-hosted alternative to GreyNoise. |
plt
|
2021-12-28 18:57 (UTC) |
mark2-git
|
r826.24db946-1 |
0 |
0.00
|
A minecraft server wrapper, written in python and twisted. |
phuwit
|
2023-12-02 03:24 (UTC) |
mandelbulber2-opencl-git
|
20210424-1 |
3 |
0.00
|
3D application designed to render 3D fractals such as the Mandelbulb, Mandelbox, BulbBox, JuliaBulb, Menger Sponge, and Iterated Function Systems. Git version. |
networkpanic
|
2021-04-22 01:13 (UTC) |
mandelbulber2-git
|
20170801-1 |
8 |
0.00
|
3D application designed to render 3D fractals such as the Mandelbulb, Mandelbox, BulbBox, JuliaBulb, Menger Sponge, and Iterated Function Systems. Git version. |
psyriccio
|
2017-08-01 13:56 (UTC) |
mandelbulber-opencl
|
1.21-2 |
7 |
0.00
|
3D application designed to render 3D fractals such as the Mandelbulb, Mandelbox, BulbBox, JuliaBulb, Menger Sponge, and Iterated Function Systems. |
psyriccio
|
2016-09-07 09:09 (UTC) |
manage-kernel-backups
|
1.1-2 |
0 |
0.00
|
Script collection to create and manage backups of updated kernels and their modules |
ghostbuster
|
2024-04-10 17:51 (UTC) |
magnetico-bin
|
0.12.0-1 |
3 |
0.00
|
Autonomous (self-hosted) BitTorrent DHT search engine suite. |
rakoo
|
2021-01-02 20:25 (UTC) |
magiwallet-magid-ruckard-raspi4
|
1.4.7.2-1 |
0 |
0.00
|
Updated magi wallet that builds on modern systems by ruckard. For raspi4. |
orphan
|
2021-04-12 17:53 (UTC) |
magicseteditor
|
2.1.2-2 |
8 |
0.00
|
A program to help create Magic: the Gathering cards and sets. Comes with no game support. |
ShadowKyogre
|
2024-05-30 10:20 (UTC) |
maelstrom-jepsen
|
0.2.3-1 |
0 |
0.00
|
A workbench for writing toy implementations of distributed systems. |
Niceadam
|
2023-08-01 21:25 (UTC) |
macos-3d-originals-theme
|
2.6-1 |
0 |
0.00
|
MacOS-3D-Originals is a Gtk3 theme created using the awesome Orchis theme |
abhishekzambare
|
2020-12-06 16:13 (UTC) |
ma1sd
|
2.5.0-1 |
1 |
0.00
|
Federated Matrix Identity Server Daemon |
prurigro
|
2021-04-18 05:03 (UTC) |
m3u8-downloader-bin
|
2.2.8-6 |
0 |
0.00
|
M3U8-Downloader, electron, multi-threading, resumable upload, encrypted video download cache. |
zxp19821005
|
2024-05-29 01:02 (UTC) |
lxqt-sudo-git
|
2.0.0-1 |
6 |
0.00
|
Qt front-end for sudo. Part of but not restricted to LXQt. |
pmattern
|
2024-04-23 13:57 (UTC) |
lxd-snapper-bin
|
1.3.0-2 |
0 |
0.00
|
LXD snapshots, automated |
lmbbrkr
|
2023-01-26 02:24 (UTC) |
lxc-wrapper
|
1-1 |
0 |
0.00
|
An opinionated LXC wrapper |
AeroNotix
|
2015-09-02 16:32 (UTC) |
lvb
|
4.2-0 |
0 |
0.00
|
parsimony and simulated annealing in the search for phylogenetic trees https://doi.org/10.1093/bioinformatics/btg402 |
malacology
|
2023-07-29 12:26 (UTC) |
lush
|
1.2.1-3 |
4 |
0.00
|
An object-oriented programming language designed for researchers, experimenters, and engineers interested in large-scale numerical and graphic applications. |
MajoranaOedipus
|
2024-04-21 18:46 (UTC) |
lumina-textedit
|
1.4.0p1-1 |
0 |
0.00
|
Text editor for the lumina desktop environment |
E5ten
|
2018-05-10 04:29 (UTC) |
luky-borg-backup
|
1.0.3-2 |
2 |
0.00
|
Automated backup scripts using Borg Backup, systemd and optionally Nextcloud/ownCloud/Stack |
LukyLX
|
2018-03-27 04:14 (UTC) |
luks-tools-git
|
0.0.0.0.0.1.r36.gac1cfbe-1 |
0 |
0.00
|
A collection of LUKS related scripts. |
tallero
|
2024-02-12 17:33 (UTC) |
lubelogger
|
1.2.1-1 |
0 |
0.00
|
A self-hosted, open-source vehicle service records and maintainence tracker. |
kuzalj
|
2024-02-19 03:14 (UTC) |
luax-git
|
r590.70bcc33-1 |
0 |
0.00
|
Lua interpreter and REPL based on Lua 5.4, augmented with some useful packages. It is also a "compiler" that produces standalone executables from Lua scripts. |
qwjyh
|
2024-05-30 11:04 (UTC) |
luakit-git
|
1:2.2.r75.g68e4ffc7-1 |
30 |
0.00
|
Luakit: now updated for WebKit 2 |
SolarAquarion
|
2022-12-25 04:09 (UTC) |
lua-web_sanitize
|
1.0.0-1 |
0 |
0.00
|
Lua library for sanitizing untrusted HTML for Lua 5.3 |
orphan
|
2020-05-13 17:06 (UTC) |
lua51-web_sanitize
|
1.0.0-1 |
0 |
0.00
|
Lua library for sanitizing untrusted HTML for Lua 5.1 |
orphan
|
2020-05-13 17:06 (UTC) |
lua52-web_sanitize
|
1.0.0-1 |
0 |
0.00
|
Lua library for sanitizing untrusted HTML for Lua 5.2 |
orphan
|
2020-05-13 17:06 (UTC) |
lua-coxpcall
|
1.17.0-3 |
1 |
0.00
|
Encapsulates the protected calls with a coroutine based loop |
alerque
|
2021-12-15 20:48 (UTC) |
lua53-coxpcall
|
1.17.0-3 |
1 |
0.00
|
Encapsulates the protected calls with a coroutine based loop |
alerque
|
2021-12-15 20:48 (UTC) |
lua52-coxpcall
|
1.17.0-3 |
1 |
0.00
|
Encapsulates the protected calls with a coroutine based loop |
alerque
|
2021-12-15 20:48 (UTC) |
lua51-coxpcall
|
1.17.0-3 |
1 |
0.00
|
Encapsulates the protected calls with a coroutine based loop |
alerque
|
2021-12-15 20:48 (UTC) |
lrun
|
1.2.1-1 |
1 |
0.00
|
Run command on Linux with resources limited. |
severach
|
2019-01-18 03:07 (UTC) |
lottie-qml-git
|
r15.26335df-1 |
0 |
0.00
|
This provides a QML Item to render Adobe® After Effects™ animations exported as JSON with Bodymovin using the Lottie Web library. |
ivanrajkovic
|
2020-08-14 00:56 (UTC) |
lotti-bin
|
0.9.396_2294-4 |
0 |
0.00
|
Achieve your goals and keep your data private with Lotti. This life tracking app is designed to help you stay motivated and on track, all while keeping your personal information safe and secure. Now with on-device speech recognition. |
zxp19821005
|
2024-02-27 10:50 (UTC) |
los-git
|
1.3.0.r0.g4517f9f-1 |
0 |
0.00
|
CLI program created in Rust to solve Lights Out Puzzle |
kikawet
|
2023-08-17 14:16 (UTC) |
lombok-common
|
1.18.32-2 |
3 |
0.00
|
Project Lombok integrated with several Eclipse-based installations |
Musikolo
|
2024-06-15 13:35 (UTC) |
logtalk
|
3.74.0-1 |
1 |
0.00
|
Object-Oriented Logic Programming Language |
eugeneai
|
2024-02-12 03:25 (UTC) |
logdy-bin
|
0.6.0-1 |
0 |
0.00
|
Web based real-time log viewer. Stream ANY content to a web UI with autogenerated filters. Parse any format with TypeScript. |
mmoya
|
2024-03-06 14:18 (UTC) |