59016 packages found. Page 764 of 1181.

« First ‹ Previous ... 759 760 761 762 763 764 765 766 767 768 769 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
hets-server-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-server 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-lib 20141215.ecafeec-2 0 0.00 Basic libraries and other examples for Hets eugenk
hets-desktop-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-desktop 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-commons-bin 0.99_1484075143-1 0 0.00 Common files of Hets eugenk
hets-commons 0.99_1484075143-1 0 0.00 Common files of Hets eugenk
darwin 1.4.5-2 0 0.00 The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/ eugenk
mpd-lightest 0.21.7-3 1 0.07 "Lightest" mpd version with everything disabled. Modify PKGBUILD and enable the features and flags you need eugene2k
libblockdev-lean 2.23-3 2 0.15 Lean version of libblockdev without any of the plugins eugene2k
xcursor-chromeos latest-1 4 0.00 The cursors from Chrome OS eugene
hunspell-uk 4.6.2-1 24 0.10 Ukrainian spelling dictionary eugene
gobi-loader 0.7-5 22 0.00 Loader for gobi wwan chipset firmware eugene
gobi-firmware 1-7 17 0.00 Firmware for gobi 2000 wwan chipset eugene
go-picofeed-git r18.a8c410b-1 0 0.00 Golang minimal terminal rss reader. eugene
glsof 2.4.1-2 0 0.00 Two separate GUI utilities (Queries and Filemonitor) to the lsof command line utility eugene
gbdk 2.96a-2 8 0.07 GAMEBOY Developers Kit euclio
ttf-zaklad 1.0-1 1 0.00 Display font designed for use on signage and posters, it’s massive and sturdy construction was inspired the blocky geometrical letters from the Warsaw’s craftsmen shops. Etua
ttf-havana 1.0-1 2 0.00 Font inspired by Warsaw neon signs from before 1989. It’s design is detail oriented, coherent and sophisticated. Etua
svorak 0.2-1 1 0.00 svorak, one swedish dvorak etu
stupidterm-git v1.r9.g61bf67b-1 2 0.00 A Stupid Terminal based on VTE etu
spigot-plugin-luckperms 3.2.62-1 0 0.00 An advanced permissions plugin for Bukkit/Spigot, BungeeCord and Sponge. etskinner
siad 20170103-1 2 0.00 Blockchain-based marketplace for file storage etskinner
appdaemon 3.0.5-1 2 0.01 Python execution environment for Home Assistant automation apps etskinner
runc-git v1.0.0.rc4.r217.ga618ab5a-1 14 0.00 Container CLI tools etnbrd
wowlan-systemd 20190906-1 0 0.00 A systemd unit file for enabling Wake-On-WLAN automatically etix
splitfs-git r4.248a79c-1 1 0.00 FUSE filesystem that chunks files up. EtiennePerot
netdrive-connector 1.3.2-1 1 0.00 Utility to setup mountable SFTP and WebDAV connections on Linux/UNIX systems. ethoms
threemawebqt-git r2.079de78-1 0 0.00 Thin client for Threema Web, an E2E encrypted messaging app. ethanrakoff
threemawebqt 0.2-2 0 0.00 Thin client for Threema Web, an E2E encrypted messaging app. ethanrakoff
cockatrice-server-git 2.6.1-2 1 0.00 Open-source multiplatform supported program for playing tabletop card games over a network. ethanrakoff
cockatrice-client-git 2.6.1-2 6 0.00 Open-source multiplatform supported program for playing tabletop card games over a network. ethanrakoff
semantik 1.2.3-1 9 0.02 mindmapping-like tool for document generation (reports, thesis, etc) etaboon
rasdaemon 0.6.2-2 24 0.19 Logging daemon for Platform Reliability, Availability and Serviceability (RAS), replacing mcelog eta-carinae
python2-portalocker 1.2.1-1 0 0.00 Easy, portable file locking API. eta-carinae
python-portalocker 1.2.1-1 0 0.00 Easy, portable file locking API. eta-carinae
organizr-git r1556.4c51e50-1 2 0.37 HTPC/HomeLab services organizer (git version). eta-carinae
organizr 1.8.0-3 4 0.00 HTPC/HomeLab services organizer. eta-carinae
brother-hl3150cdn 1.1.2-1 1 0.00 LPR and CUPS driver for the Brother HL3150CDN estrod
fortify 1.5.4-1 0 0.00 Fortify Rust Builder is a 3D base design tool for the game Rust (http://playrust.com) esteve
texlive-ieeetran 1.8b-1 2 0.00 LaTeX class for authors of the Institute of Electrical and Electronics Engineers (IEEE) transactions journals and conferences. estebon
papageorge-git 0.1-1 0 0.00 A simple client for the Free Internet Chess Server estebon
kfritz 0.0.14-1 1 0.00 A KDE program for users of AVMs Fritz!Box to get call signaling and other functions. Esspy
hotshots 2.2.0-4 15 0.16 Screenshot tool with some editing features. Esspy
cutemarked 0.11.3-1 29 0.01 Qt Markdown Editor Esspy
bomi-git 0.9.11.r52.ge367383a-1 15 0.00 Powerful and easy-to-use GUI multimedia player based on mpv (git version) esrevinu
mstream 4.2.1-1 0 0.00 Music player server with a web-based interface espenaf
x11log-bzr r25-1 0 0.00 An unprivileged userspace keylogger for X11 sessions eso
x11log 0.81-1 3 0.00 An unprivileged userspace keylogger for X11 sessions eso
riscv64-unknown-elf-gcc 9.1.0-1 3 0.00 The GNU Compiler Collection - cross compiler for 32bit and 64bit RISC-V bare-metal esmil

59016 packages found. Page 764 of 1181.

« First ‹ Previous ... 759 760 761 762 763 764 765 766 767 768 769 ... Next › Last »