108 packages found. Page 3 of 3.

« First ‹ Previous 1 2 3

Name Version Votes Popularity? Description Maintainer Last Updated
evtest-qt-git r133.6fb1b84-1 1 0.00 Linux Joystick Tester for Qt xiretza 2024-05-01 16:18 (UTC)
engage-git 0.2.0.r14.gdd6f4d9-1 0 0.00 A task runner with DAG-based parallelism xiretza 2024-05-04 18:09 (UTC)
conduwuit-git 1:0.3.1.3213.g42e35671-1 1 0.49 A very cool, featureful fork of the Conduit matrix server xiretza 2024-05-03 18:44 (UTC)
catch2-git 3.1.1.r45.gb65c0e27-1 5 0.00 Modern, C++-native, header-only, test framework for unit-tests, TDD and BDD (developmental version) xiretza 2022-11-10 18:37 (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)
aptdec-git r212.4d4a0c9-1 3 0.12 NOAA APT satellite imagery decoder xiretza 2022-11-16 20:45 (UTC)
aiger 1.9.9-2 0 0.00 A format, library and set of utilities for And-Inverter Graphs (AIGs) xiretza 2020-09-28 18:16 (UTC)
ada-libfswatch-git r17.00fb794-2 1 0.00 Ada binding to the libfswatch library xiretza 2022-05-16 08:40 (UTC)

108 packages found. Page 3 of 3.

« First ‹ Previous 1 2 3