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) |
minnow-git
|
81-1 |
1 |
0.00
|
simple and fairly weak chess engine written in C |
ghotrix
|
2019-07-27 16:45 (UTC) |
minorg
|
2.4.6-1 |
1 |
0.03
|
Neorg related tool to convert Pandoc json to norg written in the Nim language |
HyperTTP
|
2024-03-02 11:12 (UTC) |
minq-stopwatch-git
|
r23.1bafe623da15f863411f7df3d79631e235716e38-1 |
1 |
0.00
|
A terminal based timer that remembers where you left off |
ratata
|
2022-08-11 10:55 (UTC) |
minq-xvideos-git
|
r38.46567547766896d77195f941be2e5e43197fd903-1 |
1 |
0.00
|
Explore xvideos in your terminal! Videos can be either played in the terminal or in any external video player. Undesirable videos can be blocked. |
ratata
|
2022-03-27 17:40 (UTC) |
minq-youtube-git
|
r5.8efb00714b164c6580c2b92c39ac1c628d9a7d40-1 |
1 |
0.00
|
Terminal port of youtube. Automatically caches all network requests so that youtube can be enjoyed during an ISP outage. |
ratata
|
2023-06-27 14:15 (UTC) |
mint-bin
|
0.19.0-1 |
1 |
0.00
|
A refreshing language for the front-end web |
d1ceward
|
2023-09-18 08:48 (UTC) |
mintotp
|
0.3.0-1 |
1 |
0.00
|
Minimal TOTP generator |
kojq
|
2022-01-04 20:02 (UTC) |
minuimus
|
4.1-3 |
1 |
0.00
|
file optimiser: makes files smaller without compromising content |
marcool04
|
2024-05-04 17:09 (UTC) |
miopen-opencl
|
5.3.0-1 |
1 |
0.00
|
AMD's Machine Intelligence Library (OpenCL backend) |
tpkessler
|
2022-10-16 13:35 (UTC) |
mip6d-umip.org-git
|
2.0.2.umip.0.4.r139.7d67209-1 |
1 |
0.00
|
UMIP userland with NEPL and MCoA patches for Mobile IPv6/NEMO operation with multihoming |
14mRh4X0r
|
2020-07-22 15:45 (UTC) |
mips-harvard-os161-gcc48
|
4.8.3+os161_2.1-1 |
1 |
0.00
|
The GNU Compiler Collection - cross compiler for mips-harvard-os161 arquitecture. This is part of toolset for the course os161 from Harvard. |
gerito
|
2017-02-13 12:46 (UTC) |
mips-linux-gnu-binutils
|
2.39-1 |
1 |
0.87
|
A set of programs to assemble and manipulate binary and object files for the MIPS target |
AltoXorg
|
2024-05-31 06:20 (UTC) |
mips64r5900el-ps2-elf-binutils
|
v2.38.0-1 |
1 |
0.00
|
A set of programs to assemble and manipulate binary and object files for the Sony PlayStation® 2 videogame system (binutils). |
tallero
|
2023-08-29 00:43 (UTC) |
mips64r5900el-ps2-elf-gcc
|
v11.3.0-1 |
1 |
0.00
|
The GNU Compiler Collection (mips64r5900el-ps2-elf). |
tallero
|
2023-08-29 00:43 (UTC) |
mips64r5900el-ps2-elf-gcc-stage1
|
v10.2.0-1 |
1 |
0.00
|
The GNU Compiler Collection. Stage 1 for toolchain building (mips64r5900el-ps2-elf). |
tallero
|
2023-01-03 22:43 (UTC) |
mips64r5900el-ps2-elf-newlib
|
v4.1.0-1 |
1 |
0.00
|
A C library intended for use on embedded systems (mips64r5900el-ps2-elf) |
tallero
|
2023-01-01 20:47 (UTC) |
mips64r5900el-ps2-elf-newlib-nano
|
v4.1.0-1 |
1 |
0.00
|
A C library intended for use on embedded systems (mips64r5900el-ps2-elf, nano version) |
tallero
|
2023-01-10 20:36 (UTC) |
mips64r5900el-ps2-elf-pthread-embedded
|
v1.0-1 |
1 |
0.00
|
Open Source Software implementation of the Threads component of the POSIX 1003.1 2001 Standard for the Sony PlayStation® 2 videogame system. |
tallero
|
2023-01-10 20:35 (UTC) |
mipsel-ps2-elf-binutils
|
v2.35.2-1 |
1 |
0.00
|
A set of programs to assemble and manipulate binary and object files for the Sony PlayStation® 2 videogame system (binutils, ). |
tallero
|
2023-08-29 00:54 (UTC) |
mipsel-ps2-elf-gcc-stage1
|
v11.3.0-1 |
1 |
0.00
|
The GNU Compiler Collection. Stage 1 for toolchain building (mipsel-ps2-elf). |
tallero
|
2023-08-29 00:55 (UTC) |
mipsel-ps2-irx-binutils
|
v2.35.2-1 |
1 |
0.00
|
A set of programs to assemble and manipulate binary and object files for the Sony PlayStation® 2 videogame system (binutils, mipsel-ps2-irx). |
tallero
|
2023-01-03 16:57 (UTC) |
mipsel-ps2-irx-gcc-stage1
|
v11.3.0-1 |
1 |
0.00
|
The GNU Compiler Collection. Stage 1 for toolchain building (mipsel-ps2-irx). |
tallero
|
2023-01-03 19:28 (UTC) |
mir.qualia
|
2.0.0-1 |
1 |
0.00
|
Automatically comment and uncomment config file sections |
orphan
|
2019-03-02 01:10 (UTC) |
mirai-console-loader
|
1.0.5-1 |
1 |
0.00
|
模块化、轻量级且支持完全自定义的 mirai 加载器。 |
Purofle
|
2021-04-10 01:56 (UTC) |
miraiok-bin
|
0.5.2-1 |
1 |
0.00
|
一个提供QQ Android协议支持的高效率机器人库 |
orphan
|
2020-07-06 08:18 (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) |
mirrord
|
3.105.0-1 |
1 |
0.04
|
Connect your local process and your cloud environment, and run local code in cloud conditions |
carsme
|
2024-06-15 12:10 (UTC) |
miru-git
|
5.0.11.r0.g2f9db0f-1 |
1 |
0.00
|
Bittorrent streaming software for cats. Stream anime torrents, real-time with no waiting for downloads. |
zxp19821005
|
2024-04-17 22:13 (UTC) |
mist-de
|
1.0.0-1 |
1 |
0.00
|
A desktop environment with focus on convergence, privacy, and usability |
Froggo
|
2023-08-18 23:48 (UTC) |
mister-bin
|
20230716-1 |
1 |
0.00
|
Userspace binary that manages MiSTer on the ARM side, prebuilt |
amstan
|
2023-07-27 23:26 (UTC) |
mistserver
|
3.2.2-2 |
1 |
0.87
|
The MistServer media server toolkit |
Thulinma
|
2023-07-26 12:18 (UTC) |
mitie-git
|
r5150.832cbd6f-1 |
1 |
0.00
|
MITIE: library and tools for information extraction |
orphan
|
2019-10-08 13:11 (UTC) |
mitsuba2-git
|
2.2.1.r43.g62863cb3-1 |
1 |
0.00
|
A Retargetable Forward and Inverse Renderer |
alhirzel
|
2022-11-03 12:42 (UTC) |
mitsuba3-git
|
3.5.0.r17.g0f1eec52-1 |
1 |
0.00
|
A Retargetable Forward and Inverse Renderer |
alhirzel
|
2024-01-31 03:23 (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) |
mizar-bin
|
1.3.0-3 |
1 |
0.00
|
A TCP testing tool, immediately useful and intuitive to use right out of the box |
zxp19821005
|
2024-03-22 04:24 (UTC) |
mjai-reviewer
|
1.5.10.r0.g8ffc1ea-1 |
1 |
0.00
|
A mahjong game log reviewer |
fanfly
|
2023-10-18 17:18 (UTC) |
mjml-app
|
3.0.4-1 |
1 |
0.00
|
The desktop app for MJML |
toasterlint
|
2022-09-16 14:49 (UTC) |
mjolnir
|
1.5.0-1 |
1 |
0.00
|
A moderation tool for Matrix. |
orphan
|
2022-07-08 08:50 (UTC) |
mjpeg-proxy-git
|
r55.042fc2e-1 |
1 |
0.00
|
Republish MJPEG HTTP image streams using a server in Go |
kescherAUR
|
2022-05-29 01:50 (UTC) |
mk-git
|
r49.73d1b31-2 |
1 |
0.00
|
A reboot of the Plan 9 mk command. |
aksr
|
2024-01-22 20:35 (UTC) |
mkaudiocdrimg
|
1.2.1-1 |
1 |
0.00
|
Make an audio CD-R image from media files. |
tallero
|
2023-01-03 21:54 (UTC) |
mkaudiocdrimg-git
|
1.0+1+g92f8081-1 |
1 |
0.00
|
Make an audio CD-R image from media files. |
tallero
|
2022-12-03 15:23 (UTC) |
mkbootfs
|
4.4.4_r2.0.1-1 |
1 |
0.00
|
A tool to build android boot images. |
tallero
|
2020-04-24 01:10 (UTC) |
mkbootimg-git
|
2020.05.18.r0.g8dd5b5b5-2 |
1 |
0.99
|
Android mkbootimg + unpackbootimg, forked and updated (osm0sis) |
orphan
|
2020-07-17 11:31 (UTC) |
mkcert-git
|
r22.073ee25-1 |
1 |
0.00
|
A simple zero-config tool to make locally-trusted development certificates with any names you'd like. |
unixfox
|
2018-06-30 22:24 (UTC) |
mkdoc-svn
|
74-1 |
1 |
0.00
|
C/C++ documentation tool |
bunder
|
2015-06-13 09:23 (UTC) |
mkdocs-ezlinks-plugin
|
0.1.14-1 |
1 |
0.00
|
MkDocs plugin to automagically generate relative links between markdown pages |
AlphaJack
|
2022-06-24 16:29 (UTC) |
mkdocs-git-authors-plugin
|
0.9.0-1 |
1 |
0.00
|
MkDocs plugin to display git authors of a page |
AlphaJack
|
2024-05-11 15:17 (UTC) |