drasl-git
|
0.9.4.r4.g3dbc20a-1 |
0 |
0.00
|
Self-hosted API server for Minecraft |
evan
|
2023-09-13 21:52 (UTC) |
brother-hll3270cdw-lpr-bin
|
1.0.2-1 |
0 |
0.00
|
LPR driver for Brother HL-L3270CDW printer |
evan
|
2019-12-08 04:42 (UTC) |
cam_board-git
|
r122.ece9f51-1 |
0 |
0.00
|
Point your laptop web cam at a piece of paper and the program will stretch the writable area over the whole screen. |
evamvid
|
2020-12-02 20:43 (UTC) |
komorebi
|
2.2.1-1 |
17 |
0.00
|
A beautiful and customizable wallpaper manager for Linux |
Ev1lbl0w
|
2020-09-15 11:59 (UTC) |
godot2
|
2.1.6-1 |
4 |
0.00
|
An advanced, feature packed, multi-platform 2D and 3D game engine. Legacy version. |
Ev1lbl0w
|
2019-07-15 17:14 (UTC) |
fortune-mod-billwurtz
|
1.0-1 |
3 |
0.00
|
A collection of quotes from bill wurtz for usage with fortune, i guess... |
Ev1lbl0w
|
2020-09-24 18:47 (UTC) |
perl-test-skip-unlessexistsexecutable
|
0.041-1 |
0 |
0.00
|
skips tests unless executable exists |
eutopiafound
|
2022-04-21 11:36 (UTC) |
perl-proc-guard
|
0.07-1 |
0 |
0.00
|
process runner with RAII pattern |
eutopiafound
|
2022-04-21 14:41 (UTC) |
perl-posix-atfork
|
0.04-1 |
0 |
0.00
|
Hook registrations at fork(2) |
eutopiafound
|
2022-04-21 11:11 (UTC) |
perl-mojo-jwt
|
0.09-1 |
0 |
0.00
|
JSON Web Token the Mojo way |
eutopiafound
|
2022-04-26 12:11 (UTC) |
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.75
|
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) |