RPMs for Fedora Installations
Here is a collection of RPMs that I have put together. They are here
for me to test. Those that seem satisfactory will eventually be pushed
into either Fedora or
RPM Fusion, depending on licensing
issues. If an RPM disappears from this page, then I have either found
it unsatisfactory or migrated it into one of those two collections.
Note that I used to distribute patched rpm and redhat-rpm-config RPMs
from this page, allowing the creation of binary RPMs tailored to
particular Intel CPUs. I no longer do that, because the miniscule gains
weren't worth the cost of maintaining the patches.
Note: Due to space problems, I am not able to post
binary RPMs on this web page. Furthermore, some of the programs listed
here are distributed under non-free licenses, so I cannot provide the
sources either. Hence, all you get is either src or norsrc RPMs.
The Packages
Packages that Fedora can take
These packages are freely distributable. I provide source RPMs for
each.
- AIDA: Abstract Interfaces for Data Analysis
- blast: Berkeley Lazy Abstraction Software verification Tool
- BuDDy: BDD manipulation library
- CAL: BDD manipulation library using breadth-first
algorithms
- choco, a Java library for solving constraint
satisfaction problems
- cl-alexandria, a Common Lisp library of
portable utilities.
- cl-trivial-features, a Common
Lisp library for rationalizing the *FEATURES* variable.
- cl-trivial-gray-streams, a
Common Lisp library that hides the differences in Gray Streams
implementations.
- cmuclmtk: a language model trainer for the
CMU Sphinx decoders
- cream: constraint programming in Java
- GalaxyCommunicator: a hub-spoke
server architecture designed especially for voice communication
- ia: the Brandeis Interval Arithmetic Constraint
Solver
- intel-extras: make use of ICC more
convenient on Fedora, and also provide macro files for rpmbuild
- javabdd: a Java front-end to several BDD
packages (including a built-in package)
- jdd: a BDD package written in Java
- JML: the Java Modeling Language
- libmba: a library of generic C modules
- Omega: Analysis and transformation of
scientific progams
- sal: Symbolic Analysis Library, tools for
exploring concurrent systems
- sctk: Speech Recognition Scoring Toolkit
- SphinxTrain: acoustic model trainer for
CMU's Sphinx tools
- Xspin: a Tcl/Tk GUI for Spin
“Free” Packages with Fedora-incompatible licenses
These packages are supposedly free software or open source, but include
license terms that are incompatible with the Fedora distribution.
- javapathfinder: deep analysis of Java
code
- scale: an optimizing C/Fortran/Java byte code
compiler.
- shorten: a fast audio compressor
- slm: the CMU-Cambridge Statistical Modeling
Language toolkit
- Spin: a model checker
Non-Free Packages
These packages have restrictive licenses. I do not provide the
sources. You have to download those yourself after signifying your
agreement with the license terms. All I provide is a nosrc RPM.
- pvs: Prototype Specification and Verification
System (Allegro Common Lisp version)
- yices: an efficient SMT solver
- zChaff: a Boolean Satisfiability solver
Packages without licenses
These packages are clearly intended to be free, given statements by
their authors. However, the authors have failed to provide a clear
license, making them unacceptable to repositories with lawyers.
- pvslib: NASA Langley collection of PVS
theories
- UNO: a C source code analysis program
Last modified: Mon Jan 25 08:53:27 MST 2010
by Jerry James