agda-categories |
0.1.4-1 |
0 |
0.00 |
A new Categories library for Agda |
berberman
|
agda-cubical |
0.2-1 |
0 |
0.00 |
An experimental library for Cubical Agda |
berberman
|
agedu-git |
20200704.r149.2a7d4a2-1 |
4 |
0.00 |
Track down wasted disk space |
haawda
|
agena-bin |
2.22.0-15 |
0 |
0.00 |
An easy-to-learn procedural programming language designed to be used in science, scripting, and many other applications. |
orphan
|
agenda |
1.1.0-1 |
0 |
0.00 |
A simple, fast, no-nonsense to-do (task) list |
orphan
|
agenda-git |
r410.88586d6-1 |
0 |
0.00 |
A simple, fast, no-nonsense to-do (task) list designed for Pantheon Shell |
btd1337
|
agendav |
2.2.0-1 |
5 |
0.00 |
Open source multilanguage CalDAV web client |
orphan
|
agensgraph-git |
2.1.1.r494.6122dd6c-1 |
0 |
0.00 |
A multi-model graph database based on PostgreSQL. |
orphan
|
agent-bin |
10.0.1440-1 |
0 |
0.00 |
Official agent desktop client for Arch Linux |
MailRu-im
|
agetpkg |
4-1 |
4 |
0.00 |
Arch Linux Archive Get Package |
seblu
|
aggregate |
1.6-1 |
0 |
0.00 |
Tool for aggregating CIDR IPv4 networks |
demfloro
|
aggregator-git |
v1.0.r0.g5483835-1 |
0 |
0.00 |
My fork of PoCC's BURST Miner Proxy |
13floorelevators
|
agisoft-delighter |
1.7.0-1 |
0 |
0.00 |
A free stand-alone tool designed to remove shadows from model textures |
dobedobedo
|
agisoft-metashape-pro |
1.7.0-1 |
0 |
0.00 |
Phtogrammetric processing of digital images and 3D spatial data generation software. Professional edition |
dobedobedo
|
agrep-git |
r33.7b7f350-2 |
1 |
0.00 |
Approximate GREP for fast fuzzy string searching. |
aksr
|
agrum |
0.19.0-1 |
0 |
0.00 |
C++ Bayesian networks library |
xantares
|
ags-git |
3.4.1.6.r56.g234c69ef-1 |
14 |
0.00 |
Adventure Game Studio, a development tool that is primarily used to create graphical adventure games |
carstene1ns
|
aguilas |
1.0.2-0 |
1 |
0.00 |
An LDAP user manager and password self-service webaapp |
caleb
|
aha-git |
0.4.6.1-4 |
9 |
0.00 |
Ansi HTML Adapter: convert ANSI escape sequences to HTML. |
Xyne
|
ahven |
2.7-1 |
5 |
0.00 |
A simple unit test framework for the Ada programming language. |
charlie5
|
ai-bot-workspace-bin |
2.4.2-1 |
0 |
0.00 |
An Electron application which includes testing workspaces for most Riddles.io competitions |
emanuele-f
|
ai-dungeon-cli |
0.4.5-2 |
0 |
0.00 |
Play ai dungeon on your terminal |
otreblan
|
aibizhi |
20151008-1 |
3 |
0.00 |
爱壁纸 |
orphan
|
aif |
1.10-5 |
0 |
0.00 |
An XML and python-driven rebirth of the AIF (Arch Installation Framework) project. |
sanerb
|
aif-git |
r92.aea4f1b-1 |
0 |
0.00 |
An XML and python-driven rebirth of the AIF (Arch Installation Framework) project. |
sanerb
|
aif2pcm |
1-1 |
0 |
0.00 |
convert AIF audio to raw PCM waveform data for the GBA. |
nicholatian
|
aiger |
1.9.9-2 |
0 |
0.00 |
A format, library and set of utilities for And-Inverter Graphs (AIGs) |
xiretza
|
aimtux-git |
v1.0.r703.g9e7c759-1 |
0 |
0.00 |
Open source internal multi-hack for Counter-Strike: Global Offensive |
jingjinghack
|
aio-remote |
3.5.0-2 |
0 |
0.00 |
All In One remote to control any application using an android app. |
c-reeder
|
air-bin |
1.12.4-1 |
0 |
0.00 |
Cloud Live reload for Go apps |
ragouel
|
air-video-server |
2.4.6_beta3-8 |
24 |
0.00 |
A media server that can stream videos in almost any format from your PC to your iPhone, iPad and iPod touch |
biloky
|
airdcpp-webclient-git |
r3043.6dd17de5-1 |
0 |
0.00 |
A peer-to-peer file sharing client with web user interface. |
qwertzdenek
|
airfoilspeakers |
3.2.7-3 |
2 |
0.00 |
Airfoil Speakers for Linux enables Airfoil to send any audio to Linux machines. |
niQo
|
airhockey-git |
r38.bfa266b-1 |
3 |
0.00 |
(single|multi)-player game written in OpenGL |
jose1711
|
airpad |
0.2-1 |
0 |
0.00 |
Basic text editor |
insaanimanav
|
airpwn |
1.4-7 |
18 |
0.00 |
A generic packet injection tool for 802.11 networks. |
larryhaja
|
airsane-git |
r161.37fdbc7-1 |
0 |
0.00 |
Publish SANE scanners to MacOS and Android via Apple AirScan |
ejona86
|
airsend-desktop |
1.9.78-1 |
0 |
0.00 |
Simple Communication and Collaboration with clients, team members or anyone to get work done |
orphan
|
airsim |
1.3.1-2 |
0 |
0.00 |
Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research |
acxz
|
airspy-git |
20141216-1 |
7 |
0.00 |
Host code for Airspy SDR. |
keenerd
|
airspyhf-git |
r88.8891387-1 |
0 |
0.00 |
Host code for AirspyHF+ SDR. |
kbeckmann
|
airtime |
2.5.2.1-4 |
2 |
0.00 |
Open broadcast software for scheduling and station management. |
Ryex
|
airtime-git |
2.5.2.1.r81.g7b3d2ec11-1 |
1 |
0.00 |
Open broadcast software for scheduling and station management. |
robertfoster
|
airvpn-beta-bin |
2.18.7-1 |
8 |
0.00 |
AirVPN client "Eddie" based on OpenVPN, beta version. |
uncle
|
airzoshi |
2.23.1-2 |
0 |
0.00 |
The Adobe Air based ebooks reader |
orumin
|
aisl-git |
1:1.0.3-1 |
0 |
0.00 |
Asynchronous Internet Server Library |
lowenware
|
aisleriot-git |
3.22.11.r3.g809656b7-1 |
0 |
0.00 |
A collection of patience games written in guile scheme |
orphan
|
ajo |
1.0.9-1 |
0 |
0.00 |
Asynchronous Job Operator: a transparent gateway between your web, application or service and an HPC system. |
robertfoster
|
ajour-git |
0.5.4-1 |
0 |
0.00 |
World of Warcraft addon manager written in Rust |
zanny
|
akabei-git |
286.d29fab4-1 |
0 |
0.00 |
Chakra’s CLI package manager |
orphan
|