53520 packages found. Page 794 of 1071.

« First ‹ Previous ... 789 790 791 792 793 794 795 796 797 798 799 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
lugaru-mods 20130606-1 2 0.00 Mods of Lugaru, includes Empire, the Seven Tasks and Reluctant Assassin Cravix
limnoria-python3-git v0.83.4.1.r4198.6f9deecb-1 0 0.00 An IRC bot based on Supybot, with sqlite3 support and other features (unstable version) Cravix
limnoria-python3 20180910-1 0 0.00 An IRC bot based on Supybot, with sqlite3 support and other features Cravix
limnoria-git v0.83.4.1.r4198.6f9deecb-1 2 0.00 An IRC bot based on Supybot, with sqlite3 support and other features (dev channel) Cravix
limnoria 20180910-1 0 0.00 An IRC bot based on Supybot, with sqlite3 support and other features Cravix
katawa-shoujo 1.3.1-2 16 0.00 a bishoujo-style visual novel by Four Leaf Studios built on renpy Cravix
freegish-git 1.60.181.f53d915-1 11 0.00 Free version of gish, a physics platformer Cravix
deadbeef-plugins-dvar-svn 8-4 5 0.00 ddb vfs archive reader plugin for deadbeef, provides gzip, 7z and rar support Cravix
ocaml-wasm 1.0-10 0 0.00 An OCaml library to read and write Web Assembly (wasm) files and manipulate their AST. crave
ocaml-fstar 0.9.6.0-4 1 0.25 An ML-like language with a type system for program verification. crave
ocaml-fix 20130611-7 1 0.06 a least fixed point computation library, using an efficient imperative algorithm crave
kremlin 0.9.6.0-2 0 0.00 a tool for extracting low-level F* programs to readable C code crave
dafny-git v2.2.0.r19.g45af975d-1 0 0.00 Dafny is a verification-aware programming language crave
python2-unrar 0.3-2 0 0.00 Wrapper for UnRAR library, ctypes-based crass00
openvpn-reconnect 1-2 4 0.00 A systemd hook for reconnecting OpenVPN after suspend crasm
lily-git git-1 1 0.00 An interpreted language with a focus on expressiveness and type safety crasm
fim-cli 1.2.3-1 1 0.00 Fim manages the integrity of a complete file tree crasm
wavbreaker 0.11-1 8 0.00 A GTK wave file splitter crank
lib32-libfbclient 2.5.6.27020-1 0 0.00 Client library for Firebird. (32-Bit) crank
firebird-superserver 2.5.8.27089-4 29 0.01 A open source SQL relational database management system (RDMS) crank
dirsyncpro 1.53-1 13 0.00 A small but powerfull utility for file and folder synchronisation crank
zookeeper 3.4.13-0 29 0.68 Open-source server which enables highly reliable distributed coordination cramaker
kafka 2.12_2.1.0-0 17 0.06 A high-throughput distributed messaging system cramaker
networkmanager-vpn-web-ui 0.1.1-1 0 0.00 A web UI for remotely managing NetworkManager-managed VPN connections craigfurman
waffle-git 1.5.2.3.r209.g1ded029-1 0 0.00 a library for choosing window system and OpenGL API at runtime craftyguy
urw 3.52-0 7 1.04 UnReal World is a unique low-fantasy roguelike game set in the far north during the late Iron-Age craftyguy
ttf-gabriola 1.0-0 0 0.00 TTF Font Gabriola craftyguy
python-grip 4.5.2-1 11 0.29 Preview GitHub Markdown files like Readme locally before committing them craftyguy
python-geohash 1.0-4 2 0.01 Fast, accurate python geohashing library craftyguy
py-spy 0.1.8-3 3 0.58 Sampling profiler for Python programs craftyguy
networkd-dispatcher 2.0-2 8 0.91 A dispatcher daemon for systemd-networkd events craftyguy
keyboard_latency 1.0-2 1 0.00 Daemon for resolving keyboard lag issues on Dell XPS 13 laptops craftyguy
hidviz 0.1.4-1 3 0.00 Tool for in-depth analysis of USB HID devices communication craftyguy
grub2-signing-extension 0.1.2-1 1 0.02 Scripts for signing and verifying grub2 files for grub2's check_signatures feature. craftyguy
fmo 2.0-2 4 0.50 A tool for locating installed AUR orphans. craftyguy
autolight 1.1-2 2 0.00 A daemon for controlling display backlight using an ambient light sensor craftyguy
rkdeveloptool 52-2 1 0.18 Development tool for Rockchip SOC crab2313
python-gitlab 1.6.0-2 5 0.21 Python wrapper for the GitLab API crab2313
mingw-w64-libvirt-glib 1.0.0-1 0 0.00 Glib bindings for libvirt (remote only for windows) crab2313
mingw-w64-libusb 1.0.22-1 5 0.00 Library that provides generic access to USB devices (mingw-w64) crab2313
beamer-theme-liu-git r2.0d23bc0-3 0 0.00 Beamer theme of Linköping University cra
lightdm-webkit-theme-nebel 0.1.0-1 7 0.00 A semitransparent LightDM greeter theme cqql
nuget3 3.5.0-3 6 0.00 Package manager for .NET. cptjazz
valentina-hg r4337.847160e6d4af-1 7 0.00 Sewing pattern drafting tool aiming to remake the garment industry cptiglo
usetaglib-git r18.d2fdf4b-2 2 0.00 Command line utility to read and edit meta-data of audio formats supported by taglib. cptiglo
seamulator-git r23.8f1fd27-1 1 0.00 Seamulator is an ocean wave simulator. cptiglo
lingot-hg r374.7ed4f5d21d15-6 5 0.00 LINGOT is a musical instrument tuner. cptiglo
fex-utils-git 20150615.r0.ge600969-1 2 0.00 Utilities for F*EX, a web service to send very large files. cptiglo
emacs-groovy-mode-git 2.0.r44.gf80b679-1 0 0.00 Emacs Mode for Groovy. cptiglo
bitvalue-git r1.a9f0a83-1 1 0.00 Simple bash script to visualize the value of your bitcoin investment. cptiglo

53520 packages found. Page 794 of 1071.

« First ‹ Previous ... 789 790 791 792 793 794 795 796 797 798 799 ... Next › Last »