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: 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.
Packages that Fedora can take
These packages are freely distributable. I provide source RPMs for
- AIDA: abstract interfaces for data analysis.
- cmusphinx4: speech recognition.
- CrocoPat: a relational programming tool.
- cvc4: automatic theorem prover for SMT
- cxsc: C++ library for Extended Scientific
- gap-atlasrep: GAP interface to the Atlas
of Group Representations.
- java-colors: color chooser for Java.
- java-mersenne-twister: fast
random number generators in Java.
- JHotDraw: a Java GUI framework for technical
and structured graphics.
- jreality: 3D mathematical visualization in
- jtem-beans: auto-generate a GUI to inspect
- jtem-jrworkspace: tool to build UIs
for complex modular applications.
- jtem-jterm: Java terminal window.
- jtem-mfc: Mathematical Foundation Classes
- jtem-numericalMethods: a Java
library that computes numerical solutions to algebra, calculus, and
- lexertl: a modular lexical analyzer
- LiDIA: a library for computational number
- netutil: Open Sound Control (OSC) for
- pypng: Python PNG reader/writer.
- qepcad: Quantifier Elimination by Partial
Cylindrical Algebraic Decomposition.
- saclib: Computer algebra library.
- SInE: Sumo Inference Engine, a metaprover
targeted on large theories, especially on SUMO.
- smrj: Simple multicast remote Java.
- snark: SRI's New Automated Reasoning Kit.
- spass: SPASS, an automated theorem prover for
first-order logic with equality.
- sunflow: Java rendering system for
photo-realistic image synthesis.
- trinity: System call fuzz tester.
“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.
- blast: Berkeley Lazy Abstraction Software
- cmuclmtk: a language model trainer for the
CMU Sphinx decoders.
- Spin: a model checker.
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.
- lg: a graph layout engine.
- nasalib: NASA Langley collection of PVS
Last modified: Fri Nov 22 16:38:24 MST 2013
by Jerry James