91231 packages found. Page 1102 of 1825.

« First ‹ Previous 1 .. 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 .. 1825 Next › Last »

Name Version Votes Popularity? Description Maintainer Last Updated
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 2017-02-26 11:09 (UTC)
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 2017-02-26 11:08 (UTC)
hets-lib 20141215.ecafeec-2 0 0.00 Basic libraries and other examples for Hets eugenk 2016-08-19 08:39 (UTC)
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 2017-02-26 11:08 (UTC)
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 2017-02-26 11:07 (UTC)
hets-commons-bin 0.99_1484075143-1 0 0.00 Common files of Hets eugenk 2017-02-26 11:07 (UTC)
hets-commons 0.99_1484075143-1 0 0.00 Common files of Hets eugenk 2017-02-26 11:06 (UTC)
darwin 1.4.5-2 0 0.00 The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/ eugenk 2016-02-24 15:04 (UTC)
ramus-modeler 2.0.1-3 1 0.00 Java-based IDEF0 & DFD Modeler eugeneai 2020-09-28 11:32 (UTC)
logtalk 3.74.0-1 1 0.00 Object-Oriented Logic Programming Language eugeneai 2024-02-12 03:25 (UTC)
libblockdev-lean 3.0-1 5 0.00 Lean version of libblockdev without any of the plugins eugene2k 2023-06-30 21:27 (UTC)
ytp-git r52.b34c5cb-2 1 0.00 Searches and plays Youtube stuff eugene 2020-06-03 17:27 (UTC)
xv 5.0.0-1 12 0.65 A nice image viewer eugene 2024-04-12 11:10 (UTC)
xemu 0.7.120-1 3 1.99 Original Xbox emulator (fork of XQEMU) eugene 2024-03-25 09:54 (UTC)
xcursor-osx-elcap 1.00-6 8 0.00 Cursor theme from OSX eugene 2024-02-13 12:18 (UTC)
xcursor-numix 0.9.1-3 62 0.00 An X-cursor-theme for use along with the numixproject products. eugene 2023-05-10 11:22 (UTC)
xcursor-chromeos latest-2 5 0.00 The cursors from Chrome OS eugene 2021-06-06 15:19 (UTC)
webdump-git r14.1d80db0-1 0 0.00 HTML to plain-text converter tool eugene 2023-09-10 20:43 (UTC)
tuxpaint-stamps-git 1620.97c9e761e-1 5 0.00 Additional stamps for Tux Paint, git-version eugene 2021-12-02 14:35 (UTC)
tuxpaint-stamps 2024.01.29-1 2 0.00 Additional stamps for Tux Paint eugene 2024-01-30 16:17 (UTC)
tuxpaint-git 4529.ff9d8d08-1 7 0.00 A free drawing program designed for young children. Checkout from git eugene 2023-04-06 06:09 (UTC)
tuxpaint-config 0.0.23-1 2 0.00 Tux Paint configuration tool eugene 2024-01-30 16:03 (UTC)
tuxpaint 0.9.32-1 14 0.06 Drawing program designed for young children eugene 2024-01-30 18:14 (UTC)
tscrape 0.6+r4+g291870a-1 0 0.00 Twitter scraper eugene 2022-05-24 18:51 (UTC)
testdisk-wip 7.2-4 22 0.00 Checks and undeletes partitions. Includes PhotoRec signature based recovery tool. WIP version eugene 2023-09-21 10:25 (UTC)
sfeed-git 1.8.r0.gaed4714-1 0 0.00 RSS and Atom parser eugene 2023-04-23 17:24 (UTC)
sfeed 2.0-1 7 0.00 RSS and Atom parser eugene 2023-12-29 17:00 (UTC)
sdl2_pango 2.1.5-1 2 0.06 Connects Pango to SDL2 eugene 2024-01-30 18:09 (UTC)
revc-git 1.0.r870.ga16fcd8d-1 6 0.00 Grand Theft Auto: Vice City reverse engineered eugene 2024-04-13 22:30 (UTC)
re3-git 1.0.r294.g3233ffe-1 9 0.00 Grand Theft Auto III reverse engineered eugene 2024-03-13 23:12 (UTC)
python-pacparser 1.4.3-1 2 0.02 Python 3.x pacparser module eugene 2024-01-16 16:48 (UTC)
pithos-git 1.5.1.r23.g0a228ab-2 49 0.00 Native Pandora Radio client eugene 2023-05-04 02:26 (UTC)
pithos 1.6.2-1 75 0.65 Native Pandora Radio client eugene 2024-03-04 08:46 (UTC)
perl-ogg-vorbis-header-pureperl 1.0-2 4 0.28 Perl/CPAN module Ogg::Vorbis::Header::PurePerl - An object-oriented interface to Ogg Vorbis info and comments eugene 2024-02-13 11:22 (UTC)
perl-mp4-info 1.13-2 45 0.28 Fetch info from MPEG-4 files (.mp4, .m4a, .m4p, .3gp) eugene 2024-02-13 10:49 (UTC)
perl-audio-flac-header 2.4-10 4 0.28 Audio::FLAC::Header - Access to FLAC audio metadata eugene 2024-02-13 10:44 (UTC)
octosql 0.12.2-1 1 0.00 A CLI tool which lets you query a plethora of databases and file formats using SQL eugene 2023-06-02 22:12 (UTC)
mpv-sponsorblock-minimal-git r39.ca2844b-1 11 0.58 A minimal script to skip sponsored segments of YouTube videos eugene 2023-11-20 22:53 (UTC)
mpv-sponsorblock-git r53.29e7b75-1 2 0.00 MPV script to skip sponsored segments of YouTube videos eugene 2023-11-21 00:17 (UTC)
liquibase 4.27.0-1 8 0.00 VCS source control tailored for database management eugene 2024-04-13 15:39 (UTC)
hunspell-uk 6.4.4-1 32 0.09 Ukrainian spelling dictionary eugene 2024-04-13 17:16 (UTC)
gobi-loader 0.7-6 22 0.00 Loader for gobi wwan chipset firmware eugene 2020-12-16 20:32 (UTC)
gobi-firmware 1-7 17 0.00 Firmware for gobi 2000 wwan chipset eugene 2015-06-08 19:34 (UTC)
go-picofeed-git r18.a8c410b-1 0 0.00 Golang minimal terminal rss reader. eugene 2019-08-11 12:05 (UTC)
glsof 2.4.1-2 1 0.00 Two separate GUI utilities (Queries and Filemonitor) to the lsof command line utility eugene 2019-04-03 06:26 (UTC)
firefox-extension-localcdn 2.6.66-1 4 0.02 LocalCDN addon for Firefox eugene 2024-04-13 21:28 (UTC)
fancy-mouse-boot-rom 0.8.0-1 2 0.00 MCPX boot ROM implementation eugene 2022-04-09 01:30 (UTC)
extm3u 20111201-1 1 0.28 Generates an extended .m3u playlist from mp3, mp4, ogg and flac files eugene 2024-02-13 13:03 (UTC)
duckstation-git 0.1.r6679.g17b9736-1 22 2.67 A Sony PlayStation (PSX) emulator, focusing on playability, speed, and long-term maintainability (git version) eugene 2024-04-18 11:10 (UTC)
deadbeef-plugin-headerbar-gtk3-git r102-1 5 0.00 Headerbar Plugin for the DeaDBeeF audio player (development version) eugene 2017-11-23 16:36 (UTC)

91231 packages found. Page 1102 of 1825.

« First ‹ Previous 1 .. 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 .. 1825 Next › Last »