aawmtt
|
2.6-1 |
0 |
0.00
|
Another AwesomeWM Testing Tool, with Live Reload and 'proper' display detection |
Curve
|
2023-11-25 23:30 (UTC) |
aimtux-git
|
v1.0.r703.g9e7c759-1 |
0 |
0.00
|
Open source internal multi-hack for Counter-Strike: Global Offensive |
jingjinghack
|
2017-06-01 08:34 (UTC) |
amtctrl-git
|
r62.343d19d-1 |
0 |
0.00
|
INTEL AMT utility like wol |
vladimirpriort
|
2023-10-28 14:44 (UTC) |
android-aarch64-fmt
|
10.2.1-1 |
0 |
0.00
|
Open-source formatting library for C++ (Android aarch64) |
hipersayan_x
|
2024-05-01 21:22 (UTC) |
android-armv7a-eabi-fmt
|
10.2.1-1 |
0 |
0.00
|
Open-source formatting library for C++ (Android armv7a-eabi) |
hipersayan_x
|
2024-05-01 21:22 (UTC) |
android-x86-64-fmt
|
10.2.1-1 |
0 |
0.00
|
Open-source formatting library for C++ (Android x86-64) |
hipersayan_x
|
2024-05-01 21:23 (UTC) |
android-x86-fmt
|
10.2.1-1 |
0 |
0.00
|
Open-source formatting library for C++ (Android x86) |
hipersayan_x
|
2024-05-01 21:23 (UTC) |
animtext
|
1.0-4 |
0 |
0.00
|
an SDL based utility to generate text animations in the style of old DOS prompts |
jose1711
|
2015-06-15 20:24 (UTC) |
asmtools
|
7.0_b06-1 |
0 |
0.00
|
The AsmTools open source project is used to develop tools for the production of proper and improper Java '.class' files. |
tsachev
|
2018-12-28 15:08 (UTC) |
asmtools-hg
|
r26.edbdc1bf3211-2 |
0 |
0.00
|
The AsmTools open source project is used to develop tools for the production of proper and improper Java '.class' files. |
tsachev
|
2018-04-24 13:42 (UTC) |
asmttpd
|
0.4.4-1 |
1 |
0.00
|
Web server written in Assembly |
orphan
|
2020-02-08 06:40 (UTC) |
bamtools
|
2.5.2-1 |
3 |
0.00
|
C++ API & command-line toolkit for working with BAM data |
mys_721tx
|
2022-02-03 22:11 (UTC) |
bamtools-git
|
2.5.2.r4.g2bd8699-1 |
1 |
0.00
|
C++ API & command-line toolkit for working with BAM data |
a821
|
2023-10-18 14:02 (UTC) |
beegfs-mgmtd
|
7.1.3-1 |
0 |
0.00
|
Distributed, fault-tolerant cluster storage platfom formally known as FhGFS |
NLisa
|
2019-10-21 18:37 (UTC) |
bergamont-marian-git
|
20220710-1 |
0 |
0.00
|
Bergamont project (browser.mt) fork of the marian translator with language models used by Mozilla Firefox Translations |
phel
|
2022-07-12 12:02 (UTC) |
binfmt-perl
|
1-1 |
0 |
0.00
|
Register Perl interpreter |
dringsim
|
2023-07-20 03:37 (UTC) |
binfmt-python
|
1-2 |
0 |
0.00
|
Register Python interpreter |
dringsim
|
2023-07-20 03:31 (UTC) |
binfmt-wasm
|
20201128-1 |
1 |
0.00
|
Register wasmtime interpreter for wasm format |
dariost
|
2020-11-28 15:34 (UTC) |
binfmtc
|
0.17-2 |
0 |
0.00
|
Execute C/C++ and Fortran Programs like scripts. |
fabi
|
2021-11-14 10:49 (UTC) |
binfmt_aout
|
4.0-2 |
0 |
0.00
|
binfmt_aout kernel module, for running an a.out binary format |
SebRmv
|
2016-07-17 10:04 (UTC) |
bitwuzla
|
0.4.0-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-03-30 17:19 (UTC) |
bitwuzla-doc
|
0.4.0-1 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-03-30 17:19 (UTC) |
bitwuzla-git
|
0.4.0.r33.g72cad5f-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-03-30 17:40 (UTC) |
boogie-git
|
0.r5030.8448ac1c-1 |
2 |
0.00
|
Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver |
joojoo
|
2020-04-26 07:41 (UTC) |
boolector
|
3.2.2-2 |
2 |
0.00
|
Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. |
Ice_Phoenix
|
2021-11-15 13:52 (UTC) |
boolector-git
|
3.2.2.r18.g1a89c229-1 |
0 |
0.00
|
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions |
xiretza
|
2022-05-03 13:12 (UTC) |
boolector-java
|
3.2.6-1 |
0 |
0.00
|
Java bindings for the Boolector SMT solver |
abdullin.am
|
2022-04-29 08:44 (UTC) |
cabal-fmt-static-git
|
0.1.12.r0.g86d59df-1 |
0 |
0.00
|
Format .cabal files |
gesh
|
2024-05-05 16:42 (UTC) |
cargo-unfmt-git
|
r60.0f4882f-1 |
0 |
0.00
|
Unformat Rust code into perfect blocks (git) |
orhun
|
2024-04-07 15:34 (UTC) |
cbfmt-bin
|
0.2.0-0 |
0 |
0.00
|
A tool to format codeblocks inside markdown and org documents. |
Duologic
|
2023-07-23 07:35 (UTC) |
ch341eepromtool
|
0.5-3 |
6 |
0.00
|
An i2c serial EEPROM programming tool for the WCH CH341A |
hybroid
|
2020-06-06 16:49 (UTC) |
charmtimetracker
|
1.12.0-3 |
1 |
0.00
|
Keep track of time. It is built around two major ideas - tasks and events. |
SanskritFritz
|
2020-10-30 14:36 (UTC) |
chasquid
|
1.11.1-1 |
0 |
0.00
|
SMTP (email) server with a focus on simplicity, security, and ease of operation |
foxcpp
|
2024-01-29 20:12 (UTC) |
check-pacman-mtree
|
0.8-3 |
3 |
0.00
|
pacman db mtree check size/md5/sha256/symlink |
999cgm
|
2019-03-26 07:43 (UTC) |
chemtool-proper
|
1.6.14-2 |
3 |
0.00
|
Chemtool without the stupid right justified help menu |
ConnorBehan
|
2021-05-03 09:30 (UTC) |
chicken-fmt
|
0.8.11.2-1 |
0 |
0.00
|
Combinator Formatting for Chicken Scheme |
Junker
|
2024-01-07 12:34 (UTC) |
clamsmtp
|
1.10-4 |
1 |
0.00
|
SMTP filter that allows you to check for viruses using the ClamAV anti-virus software. |
thorko
|
2020-06-09 08:41 (UTC) |
clamtk-gnome-git
|
6.15.r0.g3c6b582-1 |
0 |
0.00
|
A simple plugin for clamtk for the Nautilus file manager. |
m3thodic
|
2023-02-23 12:35 (UTC) |
cmtp-responder-git
|
r244.a10d015c37-1 |
0 |
0.00
|
Media Transfer Protocol daemon (responder) written in C, with minimal dependencies |
orphan
|
2019-06-11 15:44 (UTC) |
cmuclmtk
|
0.7-1 |
11 |
0.00
|
Language model tools for CMU Sphinx |
orphan
|
2020-10-14 19:47 (UTC) |
comtrol-lcom
|
1.06-1 |
0 |
0.00
|
open multiple serial ports or TCP/IP connections and exercise them in different ways |
severach
|
2017-08-14 01:12 (UTC) |
comtrol-rocketport-express-infinity
|
2.18-3 |
0 |
0.00
|
kernel module driver for Comtrol RocketPort Express Infinity Rocketmodem serial RS-232 422 485 port |
severach
|
2023-01-29 09:33 (UTC) |
comtrol-rocketport-upci
|
4.07-1 |
0 |
0.00
|
kernel module driver for Comtrol RocketPort PCI Plus Universal uPCI CPCI Rocketmodem serial RS-232 422 port |
severach
|
2018-07-04 16:11 (UTC) |
context
|
2022.09.11_20.44-1 |
2 |
0.00
|
ConTeXt LMTX, the Lean and Mean TeX eXperience with Lua, MetaPost, TeX, and XML |
xeruf
|
2022-09-19 11:14 (UTC) |
context-modules
|
2022.09.11_20.44-1 |
0 |
0.00
|
ConTeXt LMTX with all ConTeXt Garden modules |
xeruf
|
2022-09-19 11:15 (UTC) |
coreboot-configurator-git
|
11.0.gb27400d-1 |
0 |
0.00
|
A simple GUI to change settings in coreboot's CBFS, via the nvramtool utility |
zander671
|
2023-05-23 06:42 (UTC) |
courier-pythonfilter
|
3.0.4-1 |
0 |
0.00
|
pythonfilter is a collection of useful filters for the Courier MTA, and a framework for developing new filters in Python. |
vario
|
2024-01-05 07:08 (UTC) |
cvc4-git
|
1.6.r709.g219bc5991-1 |
2 |
0.00
|
An automatic theorem prover for SMT problems. |
orphan
|
2019-03-15 01:11 (UTC) |
cvc5
|
1.1.2-1 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems |
Neferin
|
2024-03-17 13:37 (UTC) |
cvc5-bestperformance
|
1.1.2-1 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance. |
Neferin
|
2024-03-17 13:37 (UTC) |