58966 packages found. Page 763 of 1180.

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

Name Version Votes Popularity? Description Maintainer
algorithms-library-gui-git 0.0.0.r515.gc4bc905a4-1 0 0.00 Theoretical computer science datastructures and algorithms implementation. The library provides graphical and console interface similar to bash with many classical algorithms manipulating automata, grammars, regular expressions, trees and strings. evandar
algorithms-library-git 0.0.0.r515.gc4bc905a4-1 0 0.00 Theoretical computer science datastructures and algorithms implementation. The library provides graphical and console interface similar to bash with many classical algorithms manipulating automata, grammars, regular expressions, trees and strings. evandar
xkeyboard-config-chromebook 2.24-1 6 0.00 X keyboard configuration files evana
microchip-mplabc18-bin 3.40-2 3 0.00 C compiler for PIC18 MCUs evana
authbind 2.1.2-1 20 0.00 Allows non-root programs to bind() to low TCP ports (0-1023) evana
autovala 1.1.0-1 1 0.00 eumario
spass 3.9-1 1 0.00 An Automated Theorem Prover for First-Order Logic with Equality. eugenk
pellet 20150814.bb99c19-2 1 0.00 Pellet is an OWL 2 reasoner in Java eugenk
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.16 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.20 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.39 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

58966 packages found. Page 763 of 1180.

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