15 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
iverilog-git s20150603.r1490.g0a86773c5-1 2 0.12 Icarus Verilog simulation and synthesis tool gilcu3 2022-05-02 09:06 (UTC)
browsh 1.8.0-3 26 0.05 A fully-modern text-based browser, rendering to TTY and browsers gilcu3 2022-09-29 22:47 (UTC)
python-gtkspellcheck 5.0.1-3 5 0.00 Spell-checking library written in Python for Gtk based on Enchant gilcu3 2022-09-20 13:01 (UTC)
redsocks2-git 0.67.r36.g1951b49-2 5 0.00 redsocks2 gilcu3 2022-03-24 12:54 (UTC)
sslh-git 2.0.rc1.r24.g72c743e-1 5 0.00 Network port multiplexer. Allows sharing of HTTP, SSL, SSH, OpenVPN, tinc, XMPP, etc. on the same port gilcu3 2022-09-20 15:35 (UTC)
rabbitvcs-thunar 0.18.0-4 30 0.00 Thunar front-end for RabbitVCS SVN GIT HG Extension. gilcu3 2022-12-09 08:51 (UTC)
psiphon-tunnel-core-git 3:2.0.27.r3656.3b2cfbca-3 0 0.00 Psiphon Tunnelling Proxy gilcu3 2022-09-30 09:50 (UTC)
proofgeneral-git 4.5.r9313.c304d73e-1 1 0.00 Generic interface for proof assistants gilcu3 2022-09-26 07:45 (UTC)
proofgeneral 4.5-4 23 0.00 Generic interface for proof assistants. gilcu3 2022-09-26 07:42 (UTC)
perl-conf-libconfig 0.101-1 0 0.00 Conf::Libconfig Perl extension for libconfig gilcu3 2022-09-20 15:31 (UTC)
limboole 1.2-2 0 0.00 A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas. gilcu3 2022-09-05 10:19 (UTC)
gcc-msp430 4.6.3-1 2 0.00 GNU toolchain for the TI MSP430 processor gilcu3 2017-05-22 21:17 (UTC)
desproxy 0.1.1-1 0 0.00 TCP tunnel for HTTP proxies gilcu3 2017-10-06 19:28 (UTC)
conf2struct-git 1.5.r0.g6bc9eed-1 0 0.00 conf2struct takes a configuration file that describes a configuration file in the libconfig format, and generates a C parser that will read a configuration file directly into a C structure gilcu3 2022-09-20 15:29 (UTC)
bombsquad-server 1.7.15-1 0 0.00 An explosive arcade-style party game, local server gilcu3 2022-12-09 08:32 (UTC)

15 packages found. Page 1 of 1.