|
activityfox-git
|
0.2.r3.g2c84c52-1 |
1 |
0.00
|
allow Firefox to play nice with KDE Plasma Activities |
orphan
|
2020-06-03 19:42 (UTC) |
|
activtools
|
5.18.19-0 |
2 |
0.00
|
Tools for Promethean hardware: activmanager, activcalibrate, activremote, activmonitor. |
orphan
|
2020-06-03 13:38 (UTC) |
|
actkbd
|
0.2.8-8 |
4 |
0.00
|
A keyboard shortcut daemon |
jhenson
|
2022-04-11 13:46 (UTC) |
|
actool-git
|
r798.bf62629-1 |
0 |
0.00
|
Build AppContainer Images |
PaulAvery
|
2015-12-13 16:19 (UTC) |
|
acts
|
1.4.2-1 |
3 |
0.00
|
A minimal shell script that creates backups with tarsnap |
orphan
|
2021-07-25 05:48 (UTC) |
|
acts-git
|
r82.cfed765-1 |
1 |
0.00
|
Another Calendar-based Tarsnap Script: master branch |
phantom94
|
2015-12-29 15:01 (UTC) |
|
act_runner
|
0.2.10-1 |
0 |
0.00
|
Runner for Gitea based on Gitea fork of act |
rocka
|
2024-04-10 12:23 (UTC) |
|
acyls-icon-theme-git
|
412.01a7ae3-1 |
0 |
0.00
|
Any Color You Like Simple icon pack |
STEELBAS
|
2018-06-27 23:41 (UTC) |
|
ad-git
|
r229.56a366e-1 |
0 |
0.00
|
ASCII file dump that can also search for and highlight strings or numbers. |
aksr
|
2015-12-07 15:40 (UTC) |
|
ad2vcf
|
0.1.6-6 |
0 |
0.00
|
Tool to add allelic depth info from a SAM stream to a VCF file |
kbipinkumar
|
2023-02-12 12:03 (UTC) |
|
ada-libfswatch
|
1:24.0w-1 |
1 |
0.00
|
An Ada binding to the libfswatch library in the fswatch project. |
charlie5
|
2023-06-11 08:15 (UTC) |
|
ada-libfswatch-git
|
r17.00fb794-2 |
1 |
0.00
|
Ada binding to the libfswatch library |
xiretza
|
2022-05-16 08:40 (UTC) |
|
ada-web-server
|
1:23.0.0-2 |
4 |
0.00
|
A complete embeddable web application framework for Ada. |
charlie5
|
2023-10-20 08:47 (UTC) |
|
adacurses
|
20240427-1 |
2 |
0.00
|
An Ada binding to the 'ncurses' C library. |
charlie5
|
2024-04-28 07:46 (UTC) |
|
adafruit-boards-udev
|
1-1 |
0 |
0.00
|
udev rule for adafruit boards |
LuckyTurtleDev
|
2023-03-05 18:54 (UTC) |
|
adagate-bin
|
7.4.6-1 |
0 |
0.00
|
A kid-friendly 3D dungeon escape game within a Stargate fantasy setting |
zxp19821005
|
2024-04-06 23:15 (UTC) |
|
adaogg
|
2021.10.14-1 |
0 |
0.00
|
A complete interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language. |
charlie5
|
2023-03-30 15:40 (UTC) |
|
adapta-backgrounds
|
0.5.3.1-1 |
20 |
0.00
|
Wallpaper collection for adapta-project |
pschichtel
|
2018-01-22 17:48 (UTC) |
|
adapta-gtk-theme-colorpack
|
3.94.0.149-1 |
1 |
0.00
|
Adapta GTK Theme Colorpack |
quebin31
|
2019-01-19 19:19 (UTC) |
|
adapta-gtk-theme-colorpack-joshaby-git
|
202101191000-1 |
2 |
0.00
|
A beautiful GTK+ theme based in material design (git version from Joshaby). |
NiceMicro
|
2021-12-11 23:58 (UTC) |
|
adapta-gtk-theme-git
|
3.95.0.11.r2.51c02f689-1 |
23 |
0.00
|
An adaptive Gtk+ theme based on Material Design Guidelines |
hayao
|
2020-07-20 10:26 (UTC) |
|
adapta-gtk-theme-wal
|
3.95.0.11-1 |
2 |
0.00
|
An adaptive Gtk+ theme based on Material Design Guidelines |
electimon
|
2018-12-29 20:20 (UTC) |
|
adapta-kde
|
20180828-1 |
2 |
0.00
|
Adapta theme for KDE Plasma 5 |
hayao
|
2020-05-01 18:13 (UTC) |
|
kvantum-theme-adapta
|
20180828-1 |
2 |
0.00
|
Adapta theme for KDE Plasma 5 |
hayao
|
2020-05-01 18:13 (UTC) |
|
adapta-nokto-cinnamon-cantarell
|
0.1.2-1 |
0 |
0.00
|
Pacman hook to change Adapta Nokto Cinnamon font to Cantarell |
nrobinson2000
|
2021-12-30 05:41 (UTC) |
|
adapta-nokto-dropbox-icons
|
20180702-1 |
1 |
0.00
|
Dropbox PNG icons generated from Papirus Adapta Nokto SVG files |
memeplex
|
2018-07-02 20:53 (UTC) |
|
adapta-nord-git
|
r46.245822f-1 |
0 |
0.00
|
Nord version of Adapta Colorpack! |
cedric.brancourt
|
2020-12-14 13:32 (UTC) |
|
adaptagrams-git
|
r1249.d00ce593-1 |
0 |
0.00
|
A library for adaptive diagramming applications |
mschu
|
2023-12-15 22:04 (UTC) |
|
adaptativeneuralnetwork
|
0.1.1.5-0 |
1 |
0.00
|
AdaptativeNeuralNetwork : A static library containing multiple neural network models written in C |
cedricfarinazzo
|
2019-06-30 18:51 (UTC) |
|
adapterremoval
|
2.3.3-2 |
0 |
0.00
|
Remove remnant adapter sequences from High-Throughput Sequencing (HTS) data and trim low quality bases from the 3 prime end |
kbipinkumar
|
2023-04-02 06:02 (UTC) |
|
adaptivecpp-common-git
|
24.02.0+17.r2664.20240325.37d1dcd7-1 |
0 |
0.00
|
Independent, community-driven modern platform for C++-based heterogeneous programming models targeting CPUs and GPUs from all major vendors. (formerly known as hipSYCL / Open SYCL). Common files. |
dreieck
|
2024-03-26 10:26 (UTC) |
|
adaptivecpp-cpu-git
|
24.02.0+17.r2664.20240325.37d1dcd7-1 |
0 |
0.00
|
Independent, community-driven modern platform for C++-based heterogeneous programming models targeting CPUs and GPUs from all major vendors. (formerly known as hipSYCL / Open SYCL). Accelerated CPU-only backend. |
dreieck
|
2024-03-26 10:26 (UTC) |
|
adaptivecpp-opencl-git
|
24.02.0+17.r2664.20240325.37d1dcd7-1 |
0 |
0.00
|
Independent, community-driven modern platform for C++-based heterogeneous programming models targeting CPUs and GPUs from all major vendors. (formerly known as hipSYCL / Open SYCL). OpenCL + CPU backend. |
dreieck
|
2024-03-26 10:26 (UTC) |
|
adaptivecpp-rocm-git
|
24.02.0+17.r2664.20240325.37d1dcd7-1 |
0 |
0.00
|
Independent, community-driven modern platform for C++-based heterogeneous programming models targeting CPUs and GPUs from all major vendors. (formerly known as hipSYCL / Open SYCL). ROCm (AMD Radeon) + OpenCL + CPU backend. |
dreieck
|
2024-03-26 10:26 (UTC) |
|
adara-theme-git
|
r46.743fc0d-2 |
0 |
0.00
|
Just a neutral theme for Cinnamon |
hayao
|
2020-07-20 10:48 (UTC) |
|
ada_language_server
|
2:24.0w-1 |
1 |
0.00
|
High performance syntactic and semantic engine for the Ada programming language. |
tfl5034
|
2023-06-15 09:25 (UTC) |
|
ada_language_server-git
|
r1393.2dada1b8-1 |
1 |
0.00
|
High performance syntactic and semantic engine for the Ada programming language |
tfl5034
|
2022-02-27 21:35 (UTC) |
|
ada_spawn
|
1:24.0w-1 |
1 |
0.00
|
A simple Ada API to start processes and communicate with them. |
charlie5
|
2023-06-11 08:15 (UTC) |
|
adbcontrol
|
0.1-3 |
2 |
0.00
|
Remote control your Android phone through adb |
vinibali
|
2022-09-05 16:08 (UTC) |
|
adbfs-klippenstein-git
|
r103.20230624.31b5a2e-1 |
0 |
0.00
|
fuse filesystem to mount android diveces via ADB. Software which allows to manually specify which android device to mount, and comes with automounter. |
dreieck
|
2024-03-24 19:37 (UTC) |
|
adblock2privoxy
|
2.0.1-1 |
1 |
0.00
|
Convert adblock config files to privoxy format |
orphan
|
2019-10-01 16:12 (UTC) |
|
adcd
|
1.7-1 |
2 |
0.00
|
A cd player for GNU/Linux with a ncurses (text mode) interface. |
aksr
|
2019-02-03 10:49 (UTC) |
|
adcli
|
0.9.2-1 |
12 |
0.00
|
Active Directory account management tool |
grawity
|
2022-10-03 17:21 (UTC) |
|
adcli-git
|
0.9.2-1 |
0 |
0.00
|
Active Directory account management tool |
grawity
|
2022-12-28 07:34 (UTC) |
|
add-gitignore
|
1.1.1-2 |
1 |
0.00
|
An interactive CLI tool that adds a .gitignore to your projects |
Nyasaki
|
2021-04-18 21:49 (UTC) |
|
addic7ed-cli
|
1.4.6-1 |
7 |
0.00
|
Addic7ed command-line interface |
AlK
|
2019-08-26 20:29 (UTC) |
|
addinclude-git
|
1.2.0-1 |
0 |
0.00
|
Add include statements to header and sourcefiles, for C and C++ |
not_anonymous
|
2022-12-28 05:38 (UTC) |
|
addmag
|
0.2.1-2 |
0 |
0.00
|
Opens torrents and magnet links using a remote Transmission daemon |
0E9B061F
|
2021-11-09 20:28 (UTC) |
|
addr-book-combine-git
|
r9.11696f4-1 |
0 |
0.00
|
Combine multiple aerc-style address books into a single address book, with de-duplication and smart sorting. |
gilcu3
|
2024-04-25 12:01 (UTC) |
|
addresses.app
|
0.4.8-2 |
2 |
0.00
|
A versatile Address Book application and framework. |
Beebo
|
2019-05-11 22:09 (UTC) |
|
addrwatch
|
1.0.2-1 |
2 |
0.00
|
A tool similar to arpwatch for IPv4/IPv6 and ethernet address pairing monitoring |
bidulock
|
2020-06-30 04:01 (UTC) |
|
addrwatch-git
|
1.0.1.r4.g3ac9f4e-4 |
1 |
0.00
|
A tool similar to arpwatch for IPv4/IPv6 and ethernet address pairing monitoring |
bidulock
|
2018-09-05 00:36 (UTC) |
|
ade
|
4.3.0-1 |
0 |
0.00
|
ADE creates a Docker container from a base image and mounts additional read-only volumes. |
Homalozoa
|
2021-10-25 05:56 (UTC) |
|
adept-git
|
r69.c5d3cf9-1 |
0 |
0.00
|
A JPEG compressor which varies compression within an image based on detection of salient regions of interest |
MarsSeed
|
2018-04-16 15:08 (UTC) |
|
adesklet-adeskclock
|
0.2.0-2 |
4 |
0.00
|
A skinnable analog clock adesklet |
Dragonlord
|
2015-06-28 14:22 (UTC) |
|
adesklet-aurnotify
|
0.0.6-2 |
5 |
0.00
|
Displays the latest updated packages from Arch Linux User Repository |
Dragonlord
|
2015-06-28 14:23 (UTC) |
|
adesklet-calendar
|
0.5.3-8 |
0 |
0.00
|
A simple desklet that displays a calendar |
Dragonlord
|
2015-06-28 14:24 (UTC) |
|
adflib
|
0.8.0-3 |
7 |
0.00
|
A free, portable and open implementation of the Commodore Amiga filesystem - including the unadf tool |
uffe
|
2023-08-08 15:14 (UTC) |
|
adg-gtk-theme
|
3.22.3-3 |
1 |
0.00
|
Slight gray modification of Adwaita theme from the GNOME Project. |
lpr1
|
2017-10-01 05:59 (UTC) |
|
adguardian
|
1.6.0-3 |
0 |
0.00
|
Terminal-based, real-time traffic monitoring and statistics for your AdGuard Home instance |
Sir-Photch
|
2024-03-10 18:59 (UTC) |
|
adhocspot-script-git
|
20221016.01.r14.20221016.81f5146-2 |
2 |
0.00
|
Bash script to easily configure your interface to share your internet connection and configure a DHCP and DNS and TFTP boot server to listen on it. IP, DHCP, DNS can be configured, and for WiFi interfaces also wireless mode and encryption. |
dreieck
|
2022-10-16 12:24 (UTC) |
|
adhosts
|
0.5-1 |
2 |
0.00
|
update blocking ads hosts.更新屏蔽广告的hosts. |
levinit
|
2022-04-13 07:51 (UTC) |
|
adif2cabrillo
|
1.0.5-3 |
2 |
0.00
|
Ham Radio - QSO log-file converter |
not_anonymous
|
2023-03-19 17:31 (UTC) |
|
adios
|
0.2.3-1 |
3 |
0.00
|
Simple, versatile session exit dialog, inspired by cb-exit. |
MightyPork
|
2015-06-14 19:12 (UTC) |
|
adios2-git
|
2.6.0.r256.gd96750bf-4 |
0 |
0.00
|
Next generation of ADIOS developed in the Exascale Computing Program |
blacktea
|
2020-08-20 14:36 (UTC) |
|
adjbacklight
|
8.2.1-2 |
8 |
0.00
|
Convenient method for adjusting the backlight on your portable computer |
maandree
|
2022-07-20 13:25 (UTC) |
|
adjtimex
|
1.29_10-3 |
1 |
0.00
|
Allows configuration of kernel time variables |
timb
|
2019-01-01 03:13 (UTC) |
|
adlmapps
|
30.0.15-1 |
1 |
0.00
|
Autodesk Licensing Software |
ttc0419
|
2024-03-26 10:06 (UTC) |
|
adlmidi-git
|
1.2.6.1.r6.d0a4276-1 |
2 |
0.00
|
CLI MIDI player using OPL3 emulation |
KingofToasters
|
2020-03-30 02:37 (UTC) |
|
adlplug-git
|
v1.0.1.r35.025baba-1 |
0 |
0.00
|
FM synthesizer for ADLMIDI with OPL3 chip emulation |
jpcima
|
2019-06-28 12:58 (UTC) |
|
opnplug-git
|
v1.0.1.r35.025baba-1 |
0 |
0.00
|
FM synthesizer for OPNMIDI with OPN2 chip emulation |
jpcima
|
2019-06-28 12:58 (UTC) |
|
admbrowser-git
|
r155.da7b945-2 |
0 |
0.00
|
Web browser for kiosks and digital signage |
orphan
|
2022-01-03 06:04 (UTC) |
|
admc-git
|
r3560.5cc7bbb0-2 |
0 |
0.00
|
Active Directory Management Center, replacement of RSAT |
alealexpro100
|
2022-12-30 09:58 (UTC) |
|
admesh
|
0.98.4-1 |
7 |
0.00
|
Program for processing STL triangulated solid meshes |
orphan
|
2019-10-20 07:28 (UTC) |
|
adminer
|
4.8.1-1 |
86 |
0.00
|
A full-featured MySQL management tool written in PHP |
supermario
|
2021-05-14 11:17 (UTC) |
|
adminer-editor
|
4.8.1-1 |
10 |
0.00
|
Database data editing tool written in PHP |
severach
|
2023-09-21 01:07 (UTC) |
|
adminer-git
|
4.8.1.r0.g1f173e18-1 |
1 |
0.00
|
a web based SQL management tool supporting MySQL, PostgreSQL, SQLite, MS SQL, Oracle, Firebird, SimpleDB, Elasticsearch and MongoDB. Formerly phpMinAdmin. |
severach
|
2021-06-16 17:15 (UTC) |
|
adminer-skins-brade
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-bueltge
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-cvicebni-ubor
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-galkaev
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-haeckel
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-hever
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-jukin
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-kahi
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-konya
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-nette
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-ng9
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-nicu
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-pappu687
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-paranoiq
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-pepa-linha
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-pilot
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-pokorny
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-price
|
20180609-2 |
4 |
0.00
|
Adminer skins |
severach
|
2018-09-04 04:51 (UTC) |
|
adminer-skins-hydra
|
1.0.2-1 |
1 |
0.00
|
Hydra theme for Adminer |
ROllerozxa
|
2022-01-09 14:04 (UTC) |
|
admiral-git
|
35-1 |
2 |
0.00
|
Executes multiple programs concurrently to generate output for bars |
mpcsh
|
2016-09-20 16:32 (UTC) |
|
adms
|
2.3.7-1 |
13 |
0.00
|
codegenerator for the VERILOG-A(MS) language |
bidulock
|
2020-12-09 00:09 (UTC) |
|
adms-git
|
2.3.7.r25.gcadf421-1 |
8 |
0.00
|
ADMS is a codegenerator for the VERILOG-A(MS) language |
dreieck
|
2023-10-31 16:14 (UTC) |
|
adns-git
|
1:adns.r1.6.0.0.gccaa001-1 |
0 |
0.00
|
An asyncronous replacement resolver library |
nandub
|
2023-10-02 19:57 (UTC) |
|
adnw-kbd-layouts
|
1.0-1 |
0 |
0.00
|
Keymaps for the german keyboard layouts AdNW and KOY |
tikrass
|
2021-01-07 18:50 (UTC) |
|
adobe-bin2c-git
|
r28.4300880-1 |
0 |
0.00
|
Convert to/Embed binary files in C source files, quickly and efficiently. |
Freed
|
2023-07-17 19:20 (UTC) |
|
adobe-dng-lcp
|
12.2.1-1 |
0 |
0.00
|
Extracted Adobe LCPs (Lens Correction Profiles), for use in e.g. rawtherapee |
ASzc
|
2020-05-16 15:24 (UTC) |
|
adobe-dng-dcp
|
12.2.1-1 |
0 |
0.00
|
Extracted Adobe DCPs (DNG Camera Profiles) |
ASzc
|
2020-05-16 15:24 (UTC) |
|
adobe-source-han-fonts
|
2021110-1 |
0 |
0.00
|
Meta package of Adobe Source Han fonts in the official repositories. |
stick
|
2021-12-10 15:49 (UTC) |
|
adobe-source-han-mono-classic-fonts
|
1.002-8 |
1 |
0.00
|
Adobe Source Han Mono fonts with classic orthography. |
redchenjs
|
2021-05-01 06:52 (UTC) |
|
adobe-source-han-sans-classic-fonts
|
2.004-2 |
2 |
0.00
|
Adobe Source Han Sans fonts with classic orthography. |
redchenjs
|
2021-05-01 06:50 (UTC) |
|
adobe-source-han-serif-classic-fonts
|
1.001-7 |
1 |
0.00
|
Adobe Source Han Serif fonts with classic orthography. |
redchenjs
|
2021-05-01 06:49 (UTC) |
|
adobe-source-han-super-otc
|
20190603-2 |
1 |
0.00
|
Source Han & Noto CJK Mega/Ultra OTCs |
ouuan
|
2024-04-20 06:28 (UTC) |
|
adocsnip-bin
|
0.0.2-1 |
0 |
0.00
|
manage vscode-style snippets in asciidoc |
thegrumpylion
|
2022-08-28 13:23 (UTC) |
|
adol-c
|
2.7.2-2 |
3 |
0.00
|
Automatic Differentiation of Algorithms written in C/C++ |
meanjollies
|
2024-01-31 02:04 (UTC) |
|
adol-c-git
|
20201112-1 |
0 |
0.00
|
ADOL-C automatic differentiation library |
x2b
|
2020-11-16 22:09 (UTC) |
|
adom
|
1:3.3.3-1 |
83 |
0.00
|
A roguelike game with a quest-centric, plot driven structure |
luukko
|
2019-01-30 19:05 (UTC) |
|
adom-noteye
|
3.3.3-6 |
4 |
0.00
|
A roguelike game with a quest-centric, plot driven structure (+ GUI) - Please consider buying the game on Steam |
eldios
|
2019-11-29 01:49 (UTC) |
|
adonthell
|
0.3.8-2 |
6 |
0.00
|
A 2D graphical, single player role playing game engine |
rafaelff
|
2024-01-29 03:32 (UTC) |
|
adplay-git
|
1:1.8.1.7.g95d47d7-2 |
1 |
0.00
|
AdPlug's UNIX console-based frontend |
JerryXiao
|
2022-12-28 05:42 (UTC) |
|
adplug
|
2.3.3-1 |
22 |
0.00
|
AdLib sound player library |
miffe
|
2020-06-10 19:42 (UTC) |
|
adplug-git
|
1:0-2 |
2 |
0.00
|
AdLib sound player library |
Malvineous
|
2022-06-12 04:21 (UTC) |
|
adr-tools
|
3.0.0-1 |
2 |
0.00
|
CLI tool for working with Architecture Decision Records |
wezm
|
2018-07-31 06:48 (UTC) |
|
adrgen
|
0.4.1-1 |
0 |
0.00
|
A command-line tool for generating and managing Architecture Decision Records |
rarvolt
|
2024-02-19 09:04 (UTC) |
|
adriconf-git
|
v2.5.1.r0.g9a08fc0-1 |
4 |
0.00
|
Graphical configuration tool for the Direct Rendering Infrastructure |
haagch
|
2023-03-12 22:49 (UTC) |
|
adsbexchange-stats-git
|
r121.47473bd-1 |
0 |
0.00
|
ADSBexchange.com Statistics. |
fryfrog
|
2021-01-03 21:38 (UTC) |
|
adscript
|
0.6-1 |
0 |
0.00
|
A high-performance, s-expressions based programming language that is natively compiled. |
Luddifee
|
2021-06-06 14:42 (UTC) |
|
adsklicensing
|
13.3.1.9694-1 |
1 |
0.00
|
Autodesk License Checking Software |
ttc0419
|
2023-12-25 22:56 (UTC) |
|
adspower-global
|
6.2.29-1 |
0 |
0.00
|
Protect your accounts, see the revenue growth. |
qwivan
|
2024-04-12 04:40 (UTC) |
|
adsuck
|
2.5.0-5 |
13 |
0.00
|
DNS filter |
orphan
|
2020-01-21 19:32 (UTC) |
|
adtool
|
1.3.3-1 |
2 |
0.00
|
Active Directory administration utility for Unix |
bidulock
|
2017-01-13 16:55 (UTC) |
|
adtrack2-bin
|
2.4.24-5 |
1 |
0.00
|
Adlib Tracker II, OPL3 music tracker |
orphan
|
2020-10-29 15:02 (UTC) |
|
adusk-git
|
64f3cec-1 |
2 |
0.00
|
A standalone virtual keyboard for the Steam Controller |
archshift
|
2015-12-24 02:21 (UTC) |
|
adv
|
1.0.0-1 |
0 |
0.00
|
Dispenses programming aphorisms in the style of UNIX fortune |
grevans
|
2023-08-24 23:10 (UTC) |
|
advancecomp-git
|
2.1-1 |
4 |
0.00
|
Recompression tools for gz, mng, png, and zip files using Zopfli and 7-Zip DEFLATE algorithms |
Jesin
|
2018-02-14 15:50 (UTC) |
|
advanced-passgen-bin
|
2.5.0-2 |
0 |
0.00
|
Advanced Password Generator |
zxp19821005
|
2024-02-27 08:55 (UTC) |
|
advanced-rest-client-appimage
|
17.0.9-1 |
0 |
0.00
|
Advanced REST Client - Desktop application |
MarsSeed
|
2023-05-09 00:59 (UTC) |
|
advanced-ssh-config
|
2.16.0-1 |
3 |
0.00
|
ssh wrapper using ProxyCommand that adds regex, aliases, gateways, includes, dynamic hostnames to SSH and ssh-config |
SibrenVasse
|
2023-12-10 19:53 (UTC) |
|
advancedgenieeditor-git
|
r756.ea2db9c-1 |
2 |
0.00
|
A program for editing data of genie files. |
orphan
|
2020-08-31 21:29 (UTC) |
|
advancescan
|
2.0-1 |
9 |
0.00
|
A command line rom manager for AdvanceMAME, AdvanceMESS and any other MAME derivative |
fatmike
|
2023-11-22 18:31 (UTC) |
|
advancescan-git
|
1.18.r11.gc15ea1d-2 |
0 |
0.00
|
A command line rom manager for AdvanceMAME and AdvanceMESS |
abouvier
|
2023-03-20 05:34 (UTC) |
|
advene
|
3.13.1-1 |
0 |
0.00
|
Video annotation and hypervideo authoring |
staphon7
|
2021-08-18 21:59 (UTC) |
|
adventure-qnx
|
0.0.0.1-2 |
2 |
0.00
|
A port of Colossal Cave Adventure to modern systems. |
HappyClown
|
2017-04-14 12:07 (UTC) |
|
adventuresofdemo
|
1.0.2-1 |
0 |
0.00
|
This is a small game based on the TheXTech engine with the A2XT content pack made by the Talkhaus community. It's a remix of old SMBX episodes such as The Invasion 1, brought to the A2XT universe! |
gameslayer
|
2024-04-20 15:07 (UTC) |
|
adventuresofdemo-assets
|
1.3.6.3-1 |
0 |
0.00
|
Adventures of Demo assets |
gameslayer
|
2024-01-29 10:30 (UTC) |
|
advocat
|
3.0.0-1 |
0 |
0.00
|
A complimentary CLI tool to jutge.org |
naritanara
|
2022-09-13 06:41 (UTC) |
|
adwaita-blue-icon-theme-git
|
18-1 |
0 |
0.00
|
Adwaita icon theme with blue folder icons |
mazharhussain
|
2021-11-20 05:43 (UTC) |
|
adwaita-dark-darose
|
3.28-4 |
4 |
0.00
|
Adwaita theme hacked to use my custom color scheme. (Dark blues instead of greys. Works nicely with wallpaper-lightning) |
darose
|
2022-02-11 17:23 (UTC) |
|
adwaita-graphene-gtk-theme
|
20160212-1 |
13 |
0.00
|
Grey gtk2 and gtk3 theme |
oberon2007
|
2017-09-27 12:16 (UTC) |
|
adwaita-icon-theme-git
|
44.0.r44.ge1528589b-1 |
3 |
0.00
|
GNOME standard icons |
eclairevoyant
|
2023-05-26 23:14 (UTC) |
|
adwaita-cursors-git
|
44.0.r44.ge1528589b-1 |
3 |
0.00
|
GNOME standard cursors |
eclairevoyant
|
2023-05-26 23:14 (UTC) |
|
adwaita-solarized-qt5
|
1.4.1.r29.g3c98239-1 |
0 |
0.00
|
A solarized style to bend Qt5 applications to look like they belong into GNOME Shell |
yrlf
|
2023-03-05 21:22 (UTC) |
|
adwaita-solarized-qt6
|
1.4.1.r29.g3c98239-1 |
0 |
0.00
|
A solarized style to bend Qt6 applications to look like they belong into GNOME Shell |
yrlf
|
2023-03-05 21:22 (UTC) |
|
adwaita-x-dark-and-light-theme
|
1.3-2 |
117 |
0.00
|
Adwaita-X dark and light theme pack (GTK3, GTK2, Mutter, Metacity, Xfwm4) |
orphan
|
2019-10-29 06:36 (UTC) |
|
adwaita-xfce-icon-theme
|
0.0.4-1 |
0 |
0.00
|
This icon theme is an extension for Adwaita fixing missing icons that are used in Xfce. It is not a complete theme and inherits the bulk of icons from Adwaita. |
frankendres
|
2024-02-16 11:54 (UTC) |
|
adwdialog-git
|
r6.b2e9309-1 |
0 |
0.00
|
Display GTK4/libadwaita dialogs from terminal and scripts. |
igor-dyatlov
|
2022-12-05 19:36 (UTC) |
|
adwm
|
0.7.16-1 |
4 |
0.00
|
Advanced dynamic window manager for X |
bidulock
|
2022-01-28 11:00 (UTC) |
|
adwm-git
|
0.7.16.r1.gfcfb1ff-2 |
2 |
0.00
|
Advanced dynamic window manager for X |
bidulock
|
2022-01-28 11:03 (UTC) |
|
aee-git
|
2.2.21.r4.ed7aa90-1 |
0 |
0.00
|
Classic text editor with both curses and X11 interfaces. |
aksr
|
2019-10-19 13:09 (UTC) |
|
xae-git
|
2.2.21.r4.ed7aa90-1 |
0 |
0.00
|
Classic text editor with both curses and X11 interfaces. |
aksr
|
2019-10-19 13:09 (UTC) |
|
aegir
|
7.x_3.10-7 |
1 |
0.00
|
Configuration for a dedicated Aegir server to host Drupal sites. |
jamesan
|
2017-04-03 10:58 (UTC) |
|
aegir-hostmaster
|
7.x_3.10-1 |
1 |
0.00
|
mass Drupal hosting system - frontend |
jamesan
|
2017-04-03 10:48 (UTC) |
|
aegir-provision
|
7.x_3.10-1 |
1 |
0.00
|
mass Drupal hosting system - backend |
jamesan
|
2017-04-03 10:47 (UTC) |
|
aegir-provision-tasks-extra
|
6.x_2.1-1 |
1 |
0.00
|
Extends Aegir provision backend with additional commands |
jamesan
|
2015-11-17 19:06 (UTC) |
|
aegisub-arch1t3cht-qt5-git
|
3.2.2.r1103.20caaabc0-1 |
0 |
0.00
|
A general-purpose subtitle editor with ASS/SSA support (arch1t3cht fork) |
0tkl
|
2023-11-23 13:43 (UTC) |
|
aegisub-git
|
3.2.2.r407.6f546951b-5 |
25 |
0.00
|
A general-purpose subtitle editor with ASS/SSA support |
arch1t3cht
|
2023-11-22 00:03 (UTC) |
|
aegisub-japan7-git
|
3.3.3.r290.1b821bbd4-1 |
0 |
0.00
|
A fork of aegisub including tap-to-time feature and custom user scripts |
RhiobeT
|
2021-12-27 19:01 (UTC) |
|
aegisub-subinspector-git
|
v0.5.2.r11.c1154a0-1 |
0 |
0.00
|
Subinspector library for the Aegisub Automation interface |
FichteFoll
|
2019-04-02 12:18 (UTC) |
|
aegisub-yutils
|
2023.06.25-2 |
0 |
0.00
|
Yutils library for the Aegisub Automation interface |
FichteFoll
|
2023-06-25 20:27 (UTC) |
|
aenker
|
0.6.0-2 |
0 |
0.00
|
Authenticated encryption on the commandline using a chunked construction and elliptic curve25519 keys. |
ansemjo
|
2019-07-12 12:09 (UTC) |
|
aeolus-next-standalone-bin
|
0.2.0-4 |
0 |
0.00
|
Aeolus Organ Synth NEXT (Standalone) |
orphan
|
2024-03-16 12:08 (UTC) |
|
aeolus-next-vst3-bin
|
0.2.0-4 |
0 |
0.00
|
Aeolus Organ Synth NEXT (VST3) |
orphan
|
2024-03-16 12:08 (UTC) |
|
aeolus-vst3-bin
|
0.2.0-1 |
0 |
0.00
|
Aeolus Organ Synth (VST3) |
orphan
|
2023-10-10 21:23 (UTC) |
|
aeon
|
0.14.2.2-1 |
1 |
0.00
|
A lightweight CryptoNote digital currency. |
k0ste
|
2022-08-03 05:51 (UTC) |
|
aeon-bin
|
0.2.22-10 |
0 |
0.00
|
Scan the internet for your personal information and modify or remove it |
zxp19821005
|
2024-03-18 22:52 (UTC) |
|
aerc-digestion-git
|
r10.db7d0c4-1 |
0 |
0.00
|
Aerc mail filter for plain text digests (Mailman) |
chenrry666
|
2024-02-06 18:42 (UTC) |
|
aerc-no-notmuch-git
|
0.15.2.r131.ga5d6a70-1 |
0 |
0.00
|
Email Client for your Terminal (compiled without notmuch support) |
mpldr
|
2023-08-13 09:40 (UTC) |
|
aerial-2k-videos
|
1.11-3 |
1 |
0.00
|
Apple TV4 HD aerial movies in 2k |
graysky
|
2022-05-05 18:16 (UTC) |
|
aerial-4k-videos
|
1.11-4 |
0 |
0.00
|
Apple TV4 HD aerial movies in 4k |
graysky
|
2022-05-05 18:10 (UTC) |
|
aero-browser
|
0.2.2_alpha-4 |
0 |
0.00
|
A fast and lightweight web browser made with electron and react that allows you to navigate the Internet with ease. |
zxp19821005
|
2024-03-21 03:57 (UTC) |
|
aero-browser-bin
|
0.2.2_alpha-5 |
0 |
0.00
|
A fast and lightweight web browser made with electron and react that allows you to navigate the Internet with ease. |
zxp19821005
|
2024-03-21 03:49 (UTC) |
|
aero-browser-git
|
0.2.2.alpha.r32.gd2f1652-1 |
0 |
0.00
|
A fast and lightweight web browser made with electron and react that allows you to navigate the Internet with ease. |
zxp19821005
|
2024-03-21 03:54 (UTC) |
|
aero2solver
|
1.0.0-2 |
0 |
0.00
|
Solve Aero2 captchas automatically using the magic of machine learning and computer vision |
nezu
|
2023-11-14 23:10 (UTC) |
|
aeron
|
1.44.0-1 |
0 |
0.00
|
Efficient reliable UDP unicast, UDP multicast, and IPC message transport |
orphan
|
2024-04-09 01:25 (UTC) |
|
aeron-git
|
1.41.3.r9.g58e8582e4-1 |
0 |
0.00
|
Efficient reliable UDP unicast, UDP multicast, and IPC message transport |
vbmithr
|
2023-06-01 14:50 (UTC) |
|
aerospike-client-c-libev
|
4.4.0-1 |
1 |
0.00
|
The Aerospike C client provides a C interface for interacting with the Aerospike Database. |
dundee
|
2019-01-08 15:36 (UTC) |
|
aerospike-client-c-libevent
|
4.4.0-1 |
2 |
0.00
|
The Aerospike C client provides a C interface for interacting with the Aerospike Database. |
dundee
|
2019-01-08 15:36 (UTC) |
|
aerospike-client-c-libuv
|
4.3.20-1 |
3 |
0.00
|
The Aerospike C client provides a C interface for interacting with the Aerospike Database. |
dundee
|
2019-01-08 15:32 (UTC) |
|
aerospike-client-python
|
3.5.0-1 |
2 |
0.00
|
Aerospike Client Library for Python |
dundee
|
2019-01-08 15:32 (UTC) |
|
aerospike-client-python2
|
3.5.0-1 |
2 |
0.00
|
Aerospike Client Library for Python |
dundee
|
2019-01-08 15:32 (UTC) |
|
aerotools-git
|
r77.7109ba7-1 |
1 |
0.00
|
CLI and hddtemp proxy for querying aquaero(R) 4.0 USB devices |
orphan
|
2021-03-24 16:29 (UTC) |
|
aerzte_sans
|
1.0-1 |
0 |
0.00
|
Ärzte Sans Open Type Font |
zimbi
|
2020-06-01 21:20 (UTC) |
|
aes
|
0.2.0-1 |
0 |
0.00
|
encryption utility with very simple interface |
x1b6e6
|
2020-09-04 04:06 (UTC) |
|
aes-git
|
0.2.0.r2.gd311ffd-2 |
0 |
0.00
|
encryption utility with very simple interface |
x1b6e6
|
2020-09-29 05:51 (UTC) |
|
aesfix
|
1.0.1-3 |
0 |
0.00
|
Error-correction for AES key schedules |
orphan
|
2021-07-25 21:47 (UTC) |
|
aeskeyfind
|
1.0-2 |
0 |
0.00
|
automatic techniques for locating 128-bit and 256-bit AES keys in a captured memory image |
dracorp
|
2017-09-25 19:38 (UTC) |
|
aespresso
|
0.1.2-1 |
1 |
0.00
|
A Gtk3 frontend for archlinux's archlinux-java script. |
Booglejr
|
2020-12-07 07:12 (UTC) |
|
aesthe-svn
|
164-1 |
0 |
0.00
|
3d modeller |
jorge_barroso
|
2015-06-15 19:22 (UTC) |
|
aether-bin
|
2.0.0_dev.15-1 |
4 |
0.00
|
Peer-to-peer ephemeral public communities |
nytpu
|
2021-01-23 00:56 (UTC) |
|
aevol
|
5.0-2 |
0 |
0.00
|
an open-source digital genetics platform that captures the evolutionary process |
kbipinkumar
|
2023-05-09 05:59 (UTC) |
|
aewm++
|
1.0.1-4 |
1 |
0.00
|
A small window manager for X11 based originally off aewm |
bidulock
|
2015-12-14 09:34 (UTC) |
|
af9005-firmware
|
6.11.23.01-4 |
5 |
0.00
|
Firmware for Afatech af9005 based USB dvb devices |
robertfoster
|
2019-12-28 02:24 (UTC) |
|
af9015-firmware
|
5.24.0.0-5 |
44 |
0.00
|
Firmware for Afatech af9015 based USB dvb devices |
The_Loko
|
2015-08-08 13:33 (UTC) |
|
afancontrol
|
3.1.0-2 |
2 |
0.00
|
Advanced fan control daemon |
UnicornDarkness
|
2023-06-03 17:48 (UTC) |
|
afb-binder-git
|
4.0.0beta+2+g2be7740-1 |
0 |
0.00
|
This project provides the binder component of the microservice architecture for Application Framework. |
benierc
|
2020-12-21 14:27 (UTC) |
|
afb-binding-git
|
4.0.0beta2+3+g25d7df0-1 |
0 |
0.00
|
Header files for developing bindings of Application Framework Binder |
benierc
|
2020-12-21 14:04 (UTC) |
|
afb-client-git
|
4.0.0beta2-1 |
0 |
0.00
|
This project provides simple client of the Application Framework Binder of micro-service architecture. |
benierc
|
2020-12-21 14:32 (UTC) |
|
afb-cmake-modules-git
|
10.0.0-1 |
0 |
0.00
|
This is a CMake module made to ease development of binding and application framework binder apps. |
benierc
|
2020-12-21 14:39 (UTC) |
|
afb-helpers-git
|
8.0.0-1 |
0 |
0.00
|
Library providing some helpful functions for apps using Application Framework Binder |
benierc
|
2019-09-03 13:35 (UTC) |
|
afb-libafb-git
|
4.0.0beta5-1 |
0 |
0.00
|
Core library of Application Framework Binder |
benierc
|
2020-12-21 14:29 (UTC) |
|
afb-libcontroller-git
|
9.99.1+34+g0088350-1 |
0 |
0.00
|
useful utilities to integrate in your afb bindings development. |
benierc
|
2020-12-21 14:53 (UTC) |
|
afb-libhelpers-git
|
9.99.1+20+g6cc5d85-1 |
0 |
0.00
|
useful utilities to integrate in your afb bindings development. |
benierc
|
2020-12-21 14:51 (UTC) |
|
afdko-git
|
3.6.0a0.r0.g1e6c3c5-1 |
1 |
0.00
|
Adobe Font Development Kit for OpenType |
alerque
|
2024-03-27 07:44 (UTC) |
|
afetch-asm-git
|
1-1 |
0 |
0.00
|
A command-line system information tool written in x86 assembly language |
sticky-tea
|
2021-02-08 11:08 (UTC) |
|
afetch-git
|
1-1 |
3 |
0.00
|
Fast and simple system info written in C, that can be configured at compile time by editing the config.h file |
McFranko
|
2021-01-18 19:27 (UTC) |
|
afew-git
|
1:2.0.0.r38.gf581330-1 |
12 |
0.00
|
Initial tagging script for notmuch mail |
grazzolini
|
2020-03-06 11:32 (UTC) |
|
affenspiel
|
1.0-2 |
1 |
0.00
|
It's a puzzle type game for X11. |
kleintux
|
2021-07-04 18:41 (UTC) |
|
affiche.app
|
0.6.0-1 |
0 |
0.00
|
An application to "stick" little notes on the desktop |
Beebo
|
2019-05-11 22:11 (UTC) |
|
affine-auto-unsafe-dev-bin
|
0-2 |
0 |
0.00
|
Auto get the latest version(maybe canary maybe not) of AFFiNE(A privacy-focussed, local-first, open-source, and ready-to-use alternative for Notion & Miro.) |
xihale
|
2023-07-31 07:08 (UTC) |
|
affine-canary-bin
|
0.14.0_canary.14-1 |
0 |
0.00
|
A next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.(Beta Version,use system-wide electron) |
zxp19821005
|
2024-04-30 02:01 (UTC) |
|
affine-latest-bin
|
0.13.0_canary.0-4 |
0 |
0.00
|
Auto get the latest version(maybe canary maybe not) of AFFiNE(A privacy-focussed, local-first, open-source, and ready-to-use alternative for Notion & Miro.) |
xihale
|
2024-02-24 06:10 (UTC) |
|
afflib
|
3.7.20-1 |
7 |
0.00
|
An extensible open format for the storage of disk images and related forensic information |
silverhikari
|
2023-05-17 23:29 (UTC) |
|
afl-qemu
|
2.52b-1 |
1 |
0.00
|
Lets you fuzz black-box binaries with afl. |
MarsSeed
|
2019-07-31 21:41 (UTC) |
|
afl-utils-git
|
1.34a.272.b01a625-1 |
1 |
0.00
|
Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization |
orphan
|
2018-11-06 20:28 (UTC) |
|
afltriage-git
|
1.0.0-1 |
0 |
0.00
|
A tool to automatically triage crashing input files using a debugger |
khokho
|
2022-02-17 18:01 (UTC) |
|
afni
|
23.2.06-1 |
1 |
0.00
|
An open-source environment for processing and displaying functional MRI data |
liamtimms
|
2023-08-21 17:37 (UTC) |
|
afni-atlases
|
1.06-1 |
0 |
0.00
|
Collection of atlases for use in AFNI |
ajschadler12
|
2023-10-14 06:09 (UTC) |
|
afnix
|
3.8.0-2 |
1 |
0.00
|
Multi-threaded functional programming language |
meanjollies
|
2024-01-31 02:06 (UTC) |
|
aft
|
5.098-1 |
3 |
0.00
|
Almost Free Text: a document preparation system, mostly free from intrusive markup |
Dragonlord
|
2015-06-28 14:29 (UTC) |
|
aften
|
0.0.8-3 |
92 |
0.00
|
Audio encoder which generates compressed audio streams based on ATSC A/52 specification. |
sl1pkn07
|
2015-12-11 17:13 (UTC) |
|
aften-git
|
0.0.8.r886.89aee3d-1 |
2 |
0.00
|
Audio encoder which generates compressed audio streams based on ATSC A/52 specification. (GIT Version) |
sl1pkn07
|
2021-02-14 12:33 (UTC) |
|
after-school
|
1-2 |
1 |
0.00
|
After School is a short videogame entirely handpainted on paper, using pencils and watercolors. |
dcelasun
|
2021-03-12 11:53 (UTC) |
|
aftermath-git
|
r625.6c0552e-2 |
0 |
0.00
|
Aftermath: Trace-based performance analysis for OpenMP and OpenStream |
harenome
|
2019-02-08 12:30 (UTC) |
|
aftermath-openmp-git
|
r366.3416578-1 |
0 |
0.00
|
Openmp tracing tool for Aftermath |
harenome
|
2019-02-08 13:18 (UTC) |
|
aftershotpro2
|
2.4-1 |
17 |
0.00
|
Professional Workflow and RAW Conversion |
Carceri
|
2016-05-13 07:30 (UTC) |
|
aftershotpro3
|
3.7.0.446-1 |
16 |
0.00
|
Professional Workflow and RAW Conversion (3rd version) |
ava1ar
|
2021-02-02 03:33 (UTC) |
|
afterstep
|
2.2.12-7 |
3 |
0.00
|
A Window Manager based on NextStep Interface |
bidulock
|
2018-06-01 11:09 (UTC) |
|
afterstep-git
|
2.2.12.r20.g8de50a8-3 |
1 |
0.00
|
A Window Manager based on NextStep Interface |
bidulock
|
2016-08-16 04:35 (UTC) |
|
afuse
|
0.4.1-2 |
1 |
0.00
|
Automounting file system implemented in user-space using FUSE |
chmd
|
2018-03-14 15:49 (UTC) |
|
ag-dsp-controller
|
1.1.0.0-2 |
0 |
0.00
|
Yamaha AG06/AG03 DSP Controller software, patched to work with Linux/Wine MIDI device names (uses Wine) |
dwhinham
|
2021-06-10 12:24 (UTC) |
|
agar
|
1.6.0-1 |
1 |
0.00
|
A cross-platform GUI toolkit |
SweetDee
|
2020-09-08 19:37 (UTC) |
|
agat
|
1.4.0-1 |
0 |
0.00
|
Another Gtf/Gff Analysis Toolkit is a suite of tools to handle gene annotations in GTF/GFF format. doi:10.5281/zenodo.3552717 |
kbipinkumar
|
2024-04-05 18:13 (UTC) |
|
agate-bin
|
3.3.0-1 |
1 |
0.00
|
Very simple server for the Gemini hypertext protocol |
MidAutumnMoon
|
2023-07-30 01:57 (UTC) |
|
agate-git
|
3.3.0.r4.g4020791-3 |
0 |
0.00
|
Very simple server for the Gemini hypertext protocol |
Chocobo1
|
2023-04-10 15:36 (UTC) |
|
agb-armv4t-eabi-unilib
|
1.3.5-1 |
1 |
0.00
|
unilib, the ANSI C support library (GBA) |
nicholatian
|
2021-02-04 14:48 (UTC) |
|
agbcc
|
1-1 |
0 |
0.00
|
GCC 2.95.1 reworked to match games compiled for the Game Boy Advance. |
nicholatian
|
2019-08-31 01:04 (UTC) |
|
agbplay
|
e685b49-1 |
0 |
0.00
|
Music player for the most common GBA sound format |
Sterophonick
|
2024-04-13 04:45 (UTC) |
|
agbsum-git
|
11-1 |
0 |
0.00
|
GBA ROM header checksum patcher. |
epsiloneridani
|
2023-05-29 11:35 (UTC) |
|
agda-bin-git
|
2.6.2.98d4eb0-1 |
0 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
LightQuantum
|
2021-05-13 08:41 (UTC) |
|
agda-categories
|
0.1.4-1 |
0 |
0.00
|
A new Categories library for Agda |
berberman
|
2020-11-11 11:06 (UTC) |
|
agda-cubical
|
0.2-1 |
0 |
0.00
|
An experimental library for Cubical Agda |
orphan
|
2020-11-11 11:07 (UTC) |
|
agda-git
|
2.5.1.r8151.g4108da695-1 |
3 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
johngowers
|
2020-11-12 20:31 (UTC) |
|
age-git
|
1.0.0.rc.3.r1.g4ea591b-1 |
2 |
0.00
|
A simple, modern and secure file encryption tool |
KingofToasters
|
2021-07-05 02:18 (UTC) |
|
age-of-war-2
|
2.3-1 |
0 |
0.00
|
A Strategy War Flash Game |
ayatale
|
2024-04-25 13:58 (UTC) |