|
perl-ex-monkeypatched
|
0.03-1 |
0 |
0.00
|
Experimental API for safe monkey-patching |
eutopiafound
|
2022-04-26 11:12 (UTC) |
|
perl-digest-sha
|
6.02-1 |
0 |
0.00
|
Perl extension for SHA-1/224/256/384/512 |
eutopiafound
|
2022-04-21 10:57 (UTC) |
|
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.16
|
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.5-1 |
2 |
0.05
|
Library for parsing .ipuz puzzle files |
Euler23
|
2024-01-09 09:12 (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.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) |