jjames
Packages
516 Packages
rpms/coin-or-Data-Netlib
The coin-or-Data-Netlib package
rpms/coin-or-lemon
A C++ template library providing many common graph algorithms
rpms/coq
The coq rpms
rpms/coxeter
The coxeter package
rpms/cryptominisat
The cryptominisat rpms
rpms/csdp
The csdp rpms
rpms/cudd
The cudd rpms
rpms/cvc4
The cvc4 rpms
rpms/cxsc
The cxsc rpms
rpms/dain-snappy
The dain-snappy rpms
rpms/disruptor
The disruptor rpms
rpms/drat2er
The drat2er package
rpms/drat-trim
The drat-trim package
rpms/DSDP
The DSDP rpms
rpms/E
The E rpms
rpms/e-antic
The e-antic package
rpms/easymock
The easymock rpms
rpms/ecl
The ecl rpms
rpms/eclib
The eclib rpms
rpms/exec-maven-plugin
The exec-maven-plugin rpms
rpms/fasterxml-oss-parent
The fasterxml-oss-parent rpms
rpms/felix-parent
The felix-parent rpms
rpms/felix-utils
The felix-utils rpms
rpms/ffcall
The ffcall rpms
rpms/fflas-ffpack
The fflas-ffpack rpms
rpms/flamegraph
The flamegraph package
rpms/flint
The flint rpms
rpms/flocq
The flocq rpms
rpms/frama-c
The frama-c rpms
rpms/freetdi-gala
The freetdi-gala package
rpms/fusesource-pom
The fusesource-pom rpms
rpms/gap
The gap rpms
rpms/GAPDoc
The GAPDoc rpms
rpms/gappa
The gappa rpms
rpms/gappalib-coq
The gappalib-coq rpms
rpms/gap-pkg-ace
The gap-pkg-ace rpms
rpms/gap-pkg-aclib
The gap-pkg-aclib rpms
rpms/gap-pkg-alnuth
The gap-pkg-alnuth rpms
rpms/gap-pkg-atlasrep
The gap-pkg-atlasrep rpms
rpms/gap-pkg-autodoc
The gap-pkg-autodoc rpms
rpms/gap-pkg-automata
The gap-pkg-automata rpms
rpms/gap-pkg-autpgrp
The gap-pkg-autpgrp rpms
rpms/gap-pkg-browse
The gap-pkg-browse rpms
rpms/gap-pkg-carat
The gap-pkg-carat rpms
rpms/gap-pkg-caratinterface
The gap-pkg-caratinterface package
rpms/gap-pkg-circle
The gap-pkg-circle package
rpms/gap-pkg-cohomolo
The gap-pkg-cohomolo package
rpms/gap-pkg-congruence
The gap-pkg-congruence rpms