perl-cache-memcached-fast-safe
|
0.06-1 |
0 |
0.00
|
Cache::Memcached::Fast with sanitizing keys and fork-safe |
eutopiafound
|
2022-04-21 14:42 (UTC) |
perl-array-utils
|
0.5-1 |
0 |
0.00
|
small utils for array manipulation |
eutopiafound
|
2022-04-20 21:24 (UTC) |
exim-lookup-pgsql
|
4.97.1-1 |
5 |
0.00
|
Message Transfer Agent with maximal-enabled features |
eutopiafound
|
2024-01-09 11:39 (UTC) |
exim-lookup-passwd
|
4.97.1-1 |
5 |
0.00
|
Message Transfer Agent with maximal-enabled features |
eutopiafound
|
2024-01-09 11:39 (UTC) |
exim-lookup-mysql
|
4.97.1-1 |
5 |
0.00
|
Message Transfer Agent with maximal-enabled features |
eutopiafound
|
2024-01-09 11:39 (UTC) |
exim-heavy
|
4.97.1-1 |
5 |
0.00
|
Message Transfer Agent with maximal-enabled features |
eutopiafound
|
2024-01-09 11:39 (UTC) |
pesconvert-git
|
r20.d6d7001-1 |
0 |
0.00
|
Convert embroidery pes file (used by Brother sewing machines) to an image (png or svg). |
europrimus
|
2022-11-09 16:23 (UTC) |
ytfzf-git
|
r1439.2331f87-1 |
4 |
0.03
|
A posix script to find and watch youtube videos from the terminal. (Without API) |
Euro2017
|
2022-04-08 19:44 (UTC) |
rust-std-x86_64-linux-android
|
1:1.74.0-1 |
0 |
0.00
|
x86_64-linux-android target for the Rust standard library |
Eumeryx
|
2023-11-19 03:30 (UTC) |
rust-std-thumbv7neon-linux-androideabi
|
1:1.74.0-1 |
0 |
0.00
|
thumbv7neon-linux-androideabi target for the Rust standard library |
Eumeryx
|
2023-11-19 03:30 (UTC) |
rust-std-i686-linux-android
|
1:1.74.0-1 |
0 |
0.00
|
i686-linux-android target for the Rust standard library |
Eumeryx
|
2023-11-19 03:30 (UTC) |
rust-std-armv7-linux-androideabi
|
1:1.74.0-1 |
0 |
0.00
|
armv7-linux-androideabi target for the Rust standard library |
Eumeryx
|
2023-11-19 03:30 (UTC) |
rust-std-arm-linux-androideabi
|
1:1.74.0-1 |
0 |
0.00
|
arm-linux-androideabi target for the Rust standard library |
Eumeryx
|
2023-11-19 03:30 (UTC) |
rust-std-aarch64-linux-android
|
1:1.74.0-1 |
0 |
0.00
|
aarch64-linux-android target for the Rust standard library |
Eumeryx
|
2023-11-19 03:30 (UTC) |
libipuz
|
0.4.6-1 |
2 |
0.01
|
Library for parsing .ipuz puzzle files |
Euler23
|
2024-05-13 18:10 (UTC) |
spass
|
3.9-1 |
1 |
0.00
|
An Automated Theorem Prover for First-Order Logic with Equality. |
eugenk
|
2022-09-27 17:49 (UTC) |
pellet
|
20150814.bb99c19-2 |
1 |
0.00
|
Pellet is an OWL 2 reasoner in Java |
eugenk
|
2016-03-14 10:18 (UTC) |
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.2.0-1 |
13 |
0.84
|
A nice image viewer |
eugene
|
2024-06-26 20:54 (UTC) |
xemu
|
0.7.127-1 |
3 |
0.36
|
Original Xbox emulator (fork of XQEMU) |
eugene
|
2024-06-17 13:26 (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
|
r51.a0118e6-1 |
0 |
0.00
|
HTML to plain-text converter tool |
eugene
|
2024-05-30 19:28 (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 |
15 |
0.50
|
Drawing program designed for young children |
eugene
|
2024-05-19 16:49 (UTC) |
testdisk-wip
|
7.2-4 |
23 |
0.65
|
Checks and undeletes partitions. Includes PhotoRec signature based recovery tool. WIP version |
eugene
|
2023-09-21 10:25 (UTC) |
sfeed-git
|
2.0.r0.g1f76c85-1 |
0 |
0.00
|
RSS and Atom parser |
eugene
|
2024-05-30 19:02 (UTC) |
sfeed
|
2.0-1 |
7 |
0.00
|
RSS and Atom parser |
eugene
|
2024-05-30 18:55 (UTC) |
sdl2_pango
|
2.1.5-1 |
2 |
0.01
|
Connects Pango to SDL2 |
eugene
|
2024-01-30 18:09 (UTC) |
revc-git
|
1.0.r870.ga16fcd8d-1 |
8 |
0.78
|
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.00
|
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.14
|
Native Pandora Radio client |
eugene
|
2024-04-27 14:12 (UTC) |
perl-ogg-vorbis-header-pureperl
|
1.05-1 |
4 |
0.06
|
Perl/CPAN module Ogg::Vorbis::Header::PurePerl - An object-oriented interface to Ogg Vorbis info and comments |
eugene
|
2024-05-30 21:43 (UTC) |