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.32
|
A nice image viewer |
eugene
|
2024-04-12 11:10 (UTC) |
xemu
|
0.7.122-1 |
3 |
0.98
|
Original Xbox emulator (fork of XQEMU) |
eugene
|
2024-05-21 08:17 (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-2 |
14 |
0.03
|
Drawing program designed for young children |
eugene
|
2024-05-19 16:49 (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.03
|
Connects Pango to SDL2 |
eugene
|
2024-01-30 18:09 (UTC) |
revc-git
|
1.0.r870.ga16fcd8d-1 |
7 |
0.65
|
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-2 |
2 |
0.01
|
Python 3.x pacparser module |
eugene
|
2024-04-27 14:08 (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-2 |
75 |
0.32
|
Native Pandora Radio client |
eugene
|
2024-04-27 14:12 (UTC) |
perl-ogg-vorbis-header-pureperl
|
1.0-2 |
4 |
0.14
|
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.14
|
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.14
|
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.28
|
A minimal script to skip sponsored segments of YouTube videos |
eugene
|
2023-11-20 22:53 (UTC) |
mpv-sponsorblock-git
|
r53.29e7b75-1 |
3 |
0.69
|
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 |
33 |
1.04
|
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.67-1 |
4 |
0.01
|
LocalCDN addon for Firefox |
eugene
|
2024-05-06 10:15 (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.14
|
Generates an extended .m3u playlist from mp3, mp4, ogg and flac files |
eugene
|
2024-02-13 13:03 (UTC) |
duckstation-git
|
0.1.r6757.g7626a9b-1 |
24 |
2.64
|
A Sony PlayStation (PSX) emulator, focusing on playability, speed, and long-term maintainability (git version) |
eugene
|
2024-05-14 15:07 (UTC) |
deadbeef-plugin-headerbar-gtk3-git
|
1.3.r1.g63ed1ad-1 |
5 |
0.00
|
Headerbar Plugin for the DeaDBeeF audio player (development version) |
eugene
|
2024-05-19 16:36 (UTC) |
deadbeef-mpris2-plugin
|
1.16-1 |
39 |
0.96
|
MPRISv2 plugin for the DeaDBeeF music player |
eugene
|
2022-12-27 14:27 (UTC) |
acroread-fonts-systemwide
|
1:DC_2023.008.20421-1 |
113 |
0.37
|
Fonts from Adobe Acrobat Reader DC |
eugene
|
2024-01-15 12:45 (UTC) |
abook
|
0.6.1-7 |
19 |
0.87
|
Text-based addressbook designed for use with Mutt |
eugene
|
2021-07-10 07:15 (UTC) |
gbdk
|
2.96a-2 |
8 |
0.00
|
GAMEBOY Developers Kit |
euclio
|
2015-06-13 01:57 (UTC) |
youtube-tv-desktop-app
|
1.1.2-2 |
0 |
0.00
|
Youtube for TV Desktop app |
etylermoss
|
2020-12-27 02:57 (UTC) |
vjson-schema
|
1.1.0-1 |
0 |
0.00
|
Validate JSON file(s) against a JSON schema. |
etylermoss
|
2023-10-17 01:21 (UTC) |
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
|
2018-02-24 21:54 (UTC) |