Page 12 of 178 | Showing port(s) 221 to 240
An automated theorem prover for SMT problems
Version: 1.4 | Maintained by: | Categories: devel math | Variants: debug, java, universalCyan Graphics
Version: 1.2.4 | Maintained by: barracuda156 | Categories: graphics | Variants: debugEclipse Cyclone DDS project
Version: 0.10.4 | Maintained by: sikmir, herbygillot | Categories: devel | Variants: debug, universalThe DAB library provides entries for the functionality to handle DAB/DAB+ through some simple calls.
Version: 20230302-d615e2ba | Maintained by: ra1nb0w | Categories: science comms | Variants: debug, universalVirtual lighttable and darkroom for photographers
Version: 4.4.1 | Maintained by: MarcusCalhoun-Lopez, mascguy | Categories: graphics | Variants: debug, x11, quartz, openmpVirtual lighttable and darkroom for photographers
Version: 4.6.1 | Maintained by: MarcusCalhoun-Lopez, mascguy | Categories: graphics | Variants: debug, x11, quartz, openmpAset of modifications to ctools and ld64 that enable support for older systems with up-to-date-tools.
Version: 3.3.0 | Maintained by: catap | Categories: devel | Variants: debug, universalHigh-performance file management over WebDAV / HTTP
Version: 0.8.6 | Maintained by: cjones051073 | Categories: net | Variants: debug, universalDistributed Block Compressed Sparse Row matrix library
Version: 2.6.0 | Maintained by: barracuda156 | Categories: math | Variants: debug, accelerate, atlas, blis, flexiblas, gcc12, openblas, gcc10, gcc11, gcc13, mpich, openmpi, tests, universalexpose menus on DBus
Version: 0.9.2 | Maintained by: RJVB | Categories: devel kde kde4 | Variants: debug, docs, universalexpose menus on DBus ; Qt5 version
Version: 0.9.3.16.04 | Maintained by: RJVB | Categories: devel kde kde4 | Variants: debugDICOM to NifTI converter
Version: 1.0.20220720 | Maintained by: eborisch | Categories: science | Variants: debug, docs, universalThe DICOM Toolkit.
Version: 3.6.8 | Maintained by: eborisch | Categories: graphics | Variants: debug, doc, private, sound, ssl, universalThe DICOM Toolkit.
Version: 3.6.8 | Maintained by: eborisch | Categories: graphics | Variants: debug, private, sound, ssl, universala C++ software library supporting the creation of finite element codes
Version: 9.4.2 | Maintained by: MarcusCalhoun-Lopez | Categories: science math | Variants: debug, accelerate, atlas, blis, flexiblas, openblas, clang10, clang11, clang12, clang13, clang14, clang15, clang16, clang17, clang18, clang50, clang60, clang70, clang80, clang90, clangdevel, g95, gcc10, gcc11, gcc12, gcc13, gccdevel, gfortran, mpich, openmpi, docs, python, universalCross-platform client for Wired 2.0
Version: 2014.04.22 | Maintained by: barracuda156 | Categories: www | Variants: universal, debugCompare two PDF files textually or visually
Version: 2.1.3 | Maintained by: dliessi | Categories: graphics | Variants: universal, debugPhoto Management Programme
Version: 4.9.0 | Maintained by: | Categories: kde kde4 | Variants: debug, docs, translations, use_private_libs, lcms2, mysql_checkRead, write, and interact with data in the Digital RF and Digital Metadata formats.
Version: 2.6.1 | Maintained by: ryanvolz, jswoboda | Categories: science | Variants: debug, universalis a software "soundcard" AX.25 packet modem/TNC and APRS encoder/decoder
Version: 1.6 | Maintained by: ra1nb0w | Categories: science | Variants: debug, native, universalPage 12 of 178 | Showing port(s) 221 to 240