abella
|
2.0.6-1 |
1 |
0.00
|
Interactive theorem prover |
mgrabovsky
|
2019-01-14 22:04 (UTC) |
abelian-wallet-desktop
|
0.3.1-1 |
0 |
0.00
|
Abelian wallet desktop |
aloxaf
|
2023-12-19 03:48 (UTC) |
abeceda_convertor-git
|
r10.7157e67-1 |
0 |
0.00
|
Python script adding auxiliary characters for text typeset in Abeceda_v4.ttf font |
jose1711
|
2022-03-23 12:55 (UTC) |
abe
|
1.1-14 |
4 |
0.00
|
Scrolling, platform-jumping, key-collecting, ancient pyramid exploring game |
kleintux
|
2022-06-29 18:05 (UTC) |
abduco-git
|
0.6.27.g8f80aa8-1 |
4 |
0.00
|
A session management and attach/detach functionality (to use together with dvtm(1)). |
aksr
|
2019-02-03 09:52 (UTC) |
abctab2ps
|
1.8.25-1 |
0 |
0.00
|
ABC notation editor |
GeBo
|
2023-10-25 18:47 (UTC) |
abcmidi
|
20240313-1 |
15 |
0.00
|
A set of tools for converting ABC files to MIDI files and vice versa, as well as other small utilities |
foxxy
|
2024-03-19 05:39 (UTC) |
abcm2ps
|
8.14.15-1 |
4 |
0.00
|
Convert ABC music notation files to PostScript from the command line |
SpotlightKid
|
2024-01-09 21:17 (UTC) |
abcl-git
|
r3771.91f48d55-1 |
2 |
0.00
|
Full implementation of the Common Lisp language in the JVM |
yitzi
|
2023-12-05 14:05 (UTC) |
abcl
|
1.9.2-1 |
13 |
0.00
|
Full implementation of the Common Lisp language in the JVM |
wykwit
|
2023-06-22 05:33 (UTC) |
abchr
|
0.5b-3 |
3 |
0.00
|
Tool to do ABC/HR or ABX blind tests on audio files |
orphan
|
2020-03-30 11:02 (UTC) |
abc80sim-git
|
r437.0398837-1 |
0 |
0.00
|
An SDL based emulator of a Luxor ABC80 |
DrZingo
|
2023-02-07 11:39 (UTC) |
abc-git
|
1.02.r5444.806a996-2 |
1 |
0.00
|
System for Sequential Logic Synthesis and Formal Verification |
TheBitFighter
|
2024-06-06 11:57 (UTC) |
abbrase-git
|
r41.3834b28-1 |
1 |
0.00
|
|
Franek
|
2016-09-24 11:36 (UTC) |
abacus-git
|
1.4.2-1 |
0 |
0.00
|
A simple interactive calculator REPL with support for variables, lambdas, and more. |
vikimaster2
|
2022-09-26 15:10 (UTC) |
aax-bruteforce
|
1.0.1-1 |
0 |
0.00
|
Bruteforce decrypt key for AAX files. |
C0rn3j
|
2024-04-28 21:58 (UTC) |
aawmtt
|
2.6-1 |
0 |
0.00
|
Another AwesomeWM Testing Tool, with Live Reload and 'proper' display detection |
Curve
|
2023-11-25 23:30 (UTC) |
aasdk-git
|
r90.a483733-1 |
1 |
0.00
|
Library to build AndroidAuto headunit |
parkerlreed
|
2020-10-20 16:06 (UTC) |
aaru-git
|
v6.0.0.7136b0613-1 |
0 |
0.00
|
Disc image management and creation tool for disks, tapes, optical and solid state media |
claunia
|
2023-09-27 15:18 (UTC) |
aaronia-mcs
|
2.1.5-1 |
1 |
0.00
|
Aaronia AG - MCS Spectrum Analyzer Software. |
a36233
|
2017-03-16 11:18 (UTC) |
aaregurucli-git
|
0.4.3.r12.g2e5e424-1 |
1 |
0.00
|
aare.guru CLI |
orphan
|
2021-12-02 21:33 (UTC) |
aardwolfgui-git
|
0.0.6+9.r24.20231201.3aa1ea6-1 |
0 |
0.00
|
Asynchronous RDP protocol implementation for python: GUI. |
dreieck
|
2024-03-24 14:34 (UTC) |
aard2-slob
|
47.31ad0e7-1 |
1 |
0.00
|
Aard 2 Dictionary - Tool to work with Slob (sorted list of blobs) dictionary files. |
tinxy
|
2016-07-03 11:40 (UTC) |
aarchup-git
|
2.1.7-1 |
1 |
0.00
|
Fork of archup a small and lightweight update-notifier for archlinux. |
orphan
|
2022-03-08 19:19 (UTC) |
aarch64be-musl-bleeding-edge-toolchain
|
2024.02-1 |
0 |
0.00
|
Ready-to-use cross-compilation toolchain provided by bootlin.com |
gportay
|
2024-05-31 05:54 (UTC) |
aarch64be-glibc-bleeding-edge-toolchain
|
2024.02-1 |
0 |
0.00
|
Ready-to-use cross-compilation toolchain provided by bootlin.com |
gportay
|
2024-05-31 05:55 (UTC) |
aarch64-zlib
|
1.3.1-1 |
0 |
0.00
|
A compression/decompression Library (aarch64) |
kovdan01
|
2024-05-06 18:56 (UTC) |
aarch64-none-linux-gnu-gcc-9.2-bin
|
9.2-2019.12 |
0 |
0.00
|
GNU Cross Compilation Toolchain for AArch64 (GCC 9.2) |
george.fst
|
2022-03-13 22:47 (UTC) |
aarch64-none-linux-gnu-gcc-12.3-bin
|
12.3-1 |
0 |
0.00
|
GNU Cross Compilation Toolchain for AArch64 (GCC 12.3) |
tiagoporsch
|
2023-11-01 20:05 (UTC) |
aarch64-none-linux-gnu-gcc-10.3-bin
|
10.3-2021.07 |
0 |
0.00
|
GNU Cross Compilation Toolchain for AArch64 (GCC 10.3) |
george.fst
|
2022-03-13 23:18 (UTC) |
aarch64-none-elf-gdb
|
13.2-1 |
1 |
0.00
|
The GNU Debugger for the ARM64 Baremetal target |
hatred
|
2023-09-12 07:36 (UTC) |
aarch64-musl-bleeding-edge-toolchain
|
2024.02-1 |
0 |
0.00
|
Ready-to-use cross-compilation toolchain provided by bootlin.com |
gportay
|
2024-05-31 05:30 (UTC) |
aarch64-linux-musl
|
1.2.5-1 |
3 |
0.00
|
Lightweight implementation of C standard library |
aswild
|
2024-05-23 04:53 (UTC) |
aarch64-linux-gnu-xorg-util-macros
|
1.19.2-2 |
0 |
0.00
|
X.Org Autotools macros |
orphan
|
2020-07-17 23:51 (UTC) |
aarch64-linux-gnu-armcl-opencl+neon
|
20.02.1-1 |
0 |
0.00
|
ARM Computer Vision and Machine Learning Library (arm64-v8a OpenCL + NEON Backends) |
orphan
|
2020-04-17 22:51 (UTC) |
aarch64-glibc-bleeding-edge-toolchain
|
2024.02-1 |
0 |
0.00
|
Ready-to-use cross-compilation toolchain provided by bootlin.com |
gportay
|
2024-05-31 05:29 (UTC) |
aarch64-elf-newlib-linaro-bin
|
2019.12-1 |
0 |
0.00
|
A C standard library implementation intended for use on embedded systems ARM64 (bare metal) |
feherneoh
|
2020-12-27 14:52 (UTC) |
aarch64-elf-gcc-linaro-bin
|
7.5.0-1 |
1 |
0.00
|
The GNU Compiler Collection - cross compiler for ARM64 EABI (bare-metal) target. |
feherneoh
|
2020-12-27 14:34 (UTC) |
aaflib
|
0.1-1 |
0 |
0.00
|
An implementation of the mathematical construct of affine arithmetics in C++. |
orphan
|
2019-10-08 18:35 (UTC) |
aacplusenc
|
0.17.5-1 |
73 |
0.00
|
An AAC+ encoder which outputs raw AAC |
stativ
|
2015-06-13 15:21 (UTC) |
aaaaxy
|
1.5.139-1 |
0 |
0.00
|
A nonlinear puzzle platformer taking place in impossible spaces |
divVerent
|
2024-06-03 16:31 (UTC) |
aa3d
|
1.0-5 |
13 |
0.00
|
ASCII art stereogram generator |
phillid
|
2018-05-04 06:38 (UTC) |
aa-snapshot-player-standalone-bin
|
1.0.9-3 |
0 |
0.00
|
Audio Assault amp modeller preset player (Standalone) |
artofmusic
|
2024-04-21 01:34 (UTC) |
aa-snapshot-player-vst3-bin
|
1.0.9-3 |
0 |
0.00
|
Audio Assault amp modeller preset player (VST3) |
artofmusic
|
2024-04-21 01:34 (UTC) |
aa-snapshot-maker-docs-bin
|
1.0.9-4 |
0 |
0.00
|
Audio Assault amp modeller preset maker (Documentation) |
artofmusic
|
2024-05-17 20:54 (UTC) |
aa-snapshot-maker-standalone-bin
|
1.0.9-4 |
0 |
0.00
|
Audio Assault amp modeller preset maker (Standalone) |
artofmusic
|
2024-05-17 20:54 (UTC) |
a850-fw
|
5.24.0.0-2 |
1 |
0.00
|
Firmware for AVerMedia AverTV Volar Black HD DVB-T USB 2.0 (A850) |
zoe
|
2021-06-14 09:58 (UTC) |
a7xpg
|
0.11-1 |
0 |
0.00
|
Old school chase action game 'A7Xpg' |
frostwork
|
2021-02-28 18:34 (UTC) |
a52dec-git
|
0.8.0.r0.gc388f3b-1 |
0 |
0.00
|
A free ATSC A/52 stream decoder |
Chocobo1
|
2024-06-17 18:54 (UTC) |
a2png
|
0.1.5-5 |
8 |
0.00
|
Converts text into bitmap images such as PNG. |
orphan
|
2021-05-05 18:30 (UTC) |