login

jjames

(fas - requests)
Point of contact: 163
Co-maintainer: 17
Watched: 0

Point of contact:

  • rpms/DSDP -- Software for semidefinite programming ( master f26 f25 f24 )
  • rpms/E -- Equational Theorem Prover ( master f26 f25 f24 )
  • rpms/GAPDoc -- GAP documentation tool ( master f26 f25 f24 )
  • rpms/TOPCOM -- Triangulations Of Point Configurations and Oriented Matroids ( master f26 f25 f24 )
  • rpms/abc -- Sequential logic synthesis and formal verification ( master f26 f25 f24 )
  • rpms/abe -- Scrolling, platform-jumping, ancient pyramid exploring game ( master f26 f25 f24 )
  • rpms/apron -- Numerical abstract domain library ( master f26 f25 f24 )
  • rpms/arb -- Arbitrary-precision floating point ball arithmetic ( master f26 f25 f24 )
  • rpms/auto-destdir -- Automate DESTDIR support for "make install" ( master f26 f25 f24 el6 )
  • rpms/automaton -- A Java finite state automata/regular expression library ( master f26 f25 f24 )
  • rpms/azove -- Another Zero-One Vertex Enumeration tool ( master f26 f25 f24 )
  • rpms/balloontip -- Balloon tip component for Java Swing applications ( master f26 f25 f24 )
  • rpms/bigloo -- A compiler for the Scheme programming language ( master f26 f25 f24 )
  • rpms/bliss -- Compute automorphism groups and canonical labelings of graphs ( master f26 f25 f24 )
  • rpms/carat -- Crystallographic AlgoRithms And Tables ( master f26 f25 f24 )
  • rpms/cbmc -- Bounded Model Checker for ANSI-C and C++ programs ( master f26 f25 f24 )
  • rpms/check -- A unit test framework for C ( master f26 f25 f24 )
  • rpms/clisp -- ANSI Common Lisp implementation ( master f26 f25 f24 )
  • rpms/cmusphinx3 -- Large vocabulary speech recognition in C ( master f26 f25 f24 )
  • rpms/cryptominisat -- SAT solver ( master f26 f25 f24 )
  • rpms/cryptominisat4 -- SAT solver ( master f26 f25 f24 )
  • rpms/csdp -- C library for SemiDefinite Programming ( master f26 f25 f24 )
  • rpms/cudd -- CU Decision Diagram Package ( master f26 f25 f24 )
  • rpms/cvc4 -- Automatic theorem prover for SMT problems ( master f26 f25 f24 )
  • rpms/cxsc -- C++ library for Extended Scientific Computing ( master f26 f25 f24 )
  • rpms/ecl -- Embeddable Common-Lisp ( master f26 f25 f24 )
  • rpms/eclib -- Library for Computations on Elliptic Curves ( master f26 f25 f24 )
  • rpms/ffcall -- Libraries for foreign function call interfaces ( master f26 f25 f24 )
  • rpms/fflas-ffpack -- Finite field linear algebra subroutines ( master f26 f25 f24 )
  • rpms/flocq -- Formalization of floating point numbers for Coq ( master f26 f25 f24 )
  • rpms/frama-c -- Framework for source code analysis of C software ( master f26 f25 f24 )
  • rpms/gap -- Computational discrete algebra ( master f26 f25 f24 )
  • rpms/gap-pkg-ace -- Advanced Coset Enumerator ( master f26 f25 f24 )
  • rpms/gap-pkg-aclib -- Almost Crystallographic groups library for GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-alnuth -- Algebraic number theory for GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-atlasrep -- GAP interface to the Atlas of Group Representations ( master f26 f25 f24 )
  • rpms/gap-pkg-autodoc -- Generate documentation from GAP source code ( master f26 f25 f24 )
  • rpms/gap-pkg-automata -- Finite automata algorithms ( master f26 f25 f24 )
  • rpms/gap-pkg-autpgrp -- Compute the automorphism group of a p-Group in GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-browse -- GAP browser for 2-dimensional arrays of data ( master f26 f25 f24 )
  • rpms/gap-pkg-carat -- GAP interface to CARAT ( master f26 f25 f24 )
  • rpms/gap-pkg-congruence -- Congruence subgroups of SL(2,Integers) ( master f26 f25 f24 )
  • rpms/gap-pkg-crisp -- Computing subgroups of finite soluble groups ( master f26 f25 f24 )
  • rpms/gap-pkg-cryst -- GAP support for crystallographic groups ( master f26 f25 f24 )
  • rpms/gap-pkg-crystcat -- Crystallographic groups catalog ( master f26 f25 f24 )
  • rpms/gap-pkg-ctbllib -- GAP Character Table Library ( master f26 f25 f24 )
  • rpms/gap-pkg-design -- Construct, classify, partition, and study block designs ( master f26 f25 f24 )
  • rpms/gap-pkg-edim -- Elementary divisors of integer matrices ( master f26 f25 f24 )
  • rpms/gap-pkg-factint -- Advanced methods for factoring integers ( master f26 f25 f24 )
  • rpms/gap-pkg-fga -- Free group algorithms for GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-float -- GAP access to mpfr, mpfi, mpc, fplll and cxsc ( master f26 f25 f24 )
  • rpms/gap-pkg-gbnp -- Computing Gröbner bases of noncommutative polynomials ( master f26 f25 f24 )
  • rpms/gap-pkg-genss -- Randomized Schreier-Sims algorithm ( master f26 f25 f24 )
  • rpms/gap-pkg-gpd -- Groupoids, group graphs, and groupoid graphs ( master f26 f25 f24 )
  • rpms/gap-pkg-grape -- GRaph Algorithms using PErmutation groups ( master f26 f25 f24 )
  • rpms/gap-pkg-guava -- Computing with error-correcting codes ( master f26 f25 f24 )
  • rpms/gap-pkg-hap -- Homological Algebra Programming for GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-hapcryst -- Integral cohomology computations of Bieberbach groups ( master f26 f25 )
  • rpms/gap-pkg-io -- Unix I/O functionality for GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-irredsol -- Irreducible soluble linear groups over finite fields ( master f26 f25 f24 )
  • rpms/gap-pkg-lpres -- Nilpotent quotients of L-presented groups ( master f26 f25 f24 )
  • rpms/gap-pkg-nq -- Nilpotent Quotients of finitely presented groups ( master f26 f25 f24 )
  • rpms/gap-pkg-openmath -- Import and export of OpenMath objects for GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-orb -- Methods to enumerate orbits in GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-polenta -- Polycyclic presentations for matrix groups ( master f26 f25 f24 )
  • rpms/gap-pkg-polycyclic -- Algorithms on polycylic groups for GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-polymaking -- GAP interface to polymake ( master f26 f25 f24 )
  • rpms/gap-pkg-radiroot -- Compute radicals for roots of solvable rational polynomials ( master f26 f25 f24 )
  • rpms/gap-pkg-resclasses -- Set-theoretic computations with Residue Classes ( master f26 f25 f24 )
  • rpms/gap-pkg-scscp -- Symbolic Computation Software Composability Protocol in GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-semigroups -- GAP methods for semigroups ( master f26 f25 f24 )
  • rpms/gap-pkg-smallsemi -- GAP library of small semigroups ( master f26 f25 f24 )
  • rpms/gap-pkg-sonata -- GAP package for systems of nearrings ( master f26 f25 f24 )
  • rpms/gap-pkg-spinsym -- GAP package for Brauer tables of spin-symmetric groups ( master f26 f25 f24 )
  • rpms/gap-pkg-tomlib -- GAP Table of Marks package ( master f26 f25 f24 )
  • rpms/gap-pkg-utils -- Utility functions for GAP ( master f26 f25 f24 )
  • rpms/gap-pkg-xmod -- Crossed Modules and Cat1-Groups for GAP ( master f26 f25 )
  • rpms/gappa -- Prove programs with floating-point or fixed-point arithmetic ( master f26 f25 f24 )
  • rpms/gappalib-coq -- Coq support library for gappa ( master f26 f25 f24 )
  • rpms/gcl -- GNU Common Lisp ( master f26 f25 f24 )
  • rpms/genus2reduction -- Computes Reductions of Genus 2 Proper Smooth Curves ( master f26 f25 f24 )
  • rpms/gf2x -- Polynomial multiplication over the binary field ( master f26 f25 f24 )
  • rpms/gfan -- Software for Computing Gröbner Fans and Tropical Varieties ( master f26 f25 f24 )
  • rpms/gmp-ecm -- Elliptic Curve Method for Integer Factorization ( master f26 f25 f24 )
  • rpms/gnofract4d -- Gnofract 4D is a Gnome-based program to draw fractals ( master f26 f25 f24 )
  • rpms/iml -- Finds solutions to systems of linear equations over integers ( master f26 f25 f24 )
  • rpms/irstlm -- Statistical language model tool ( master f26 f25 f24 )
  • rpms/jacknativeclient -- Java bindings for JACK clients ( master f26 f25 f24 )
  • rpms/javasysmon -- Java system monitor ( master f26 f25 f24 )
  • rpms/jinput -- Java Game Controller API ( master f26 f25 f24 )
  • rpms/latexmk -- A make-like utility for LaTeX files ( master f26 f25 f24 )
  • rpms/latte-integrale -- Lattice point enumeration ( master f26 f25 f24 )
  • rpms/libfplll -- LLL-reduces euclidean lattices ( master f26 f25 f24 )
  • rpms/linbox -- C++ Library for High-Performance Exact Linear Algebra ( master f26 f25 f24 )
  • rpms/lrslib -- Reverse search for vertex enumeration/convex hull problems ( master f26 f25 f24 )
  • rpms/ltl2ba -- Fast translation from LTL formulas to Buchi automata ( master f26 f25 f24 )
  • rpms/m4ri -- Linear Algebra over F_2 ( master f26 f25 f24 )
  • rpms/m4rie -- Linear Algebra over F_2^e ( master f26 f25 f24 )
  • rpms/mathic -- Data structures for Groebner basis computations ( master f26 f25 f24 )
  • rpms/mathicgb -- Groebner basis computations ( master f26 f25 f24 )
  • rpms/meataxe -- Matrix representations over finite fields ( master f26 f25 f24 )
  • rpms/memtailor -- C++ library of special-purpose memory allocators ( master f26 f25 f24 )
  • rpms/metamath -- Construct mathematics from basic axioms ( master f26 f25 f24 )
  • rpms/minisat2 -- Minimalistic SAT solver ( master f26 f25 f24 )
  • rpms/mona -- A decision procedure for the WS1S and WS2S logics ( master f26 f25 f24 )
  • rpms/nauty -- Graph canonical labeling and automorphism group computation ( master f26 f25 f24 )
  • rpms/neXtaw -- Modified version of the Athena Widgets with N*XTSTEP appearance ( master f26 f25 f24 epel7 el6 )
  • rpms/ocaml-menhir -- LR(1) parser generator for OCaml ( master f26 f25 f24 )
  • rpms/ocaml-ocplib-simplex -- Simplex algorithm for solving systems of linear inequalities ( master f26 f25 )
  • rpms/ocaml-tplib -- Tropical Polyhedra Library ( master f26 f25 f24 )
  • rpms/ocaml-zarith -- OCaml interface to GMP ( master f26 f25 f24 )
  • rpms/openfst -- Weighted finite-state transducer library ( master f26 f25 f24 )
  • rpms/opengrm-ngram -- Library for making and modifying n-gram language models ( master f26 f25 f24 )
  • rpms/perl-Text-Aspell -- Perl interface to the GNU Aspell library ( el6 )
  • rpms/permlib -- Library for permutation computations ( master f26 f25 f24 )
  • rpms/picosat -- A SAT solver ( master f26 f25 f24 )
  • rpms/pocketsphinx -- Real-time speech recognition ( master f26 f25 f24 )
  • rpms/polybori -- Framework for Boolean Rings ( f24 )
  • rpms/polymake -- Algorithms on convex polytopes and polyhedra ( master f26 f25 f24 )
  • rpms/polyml -- Poly/ML compiler and runtime system ( master f26 f25 f24 )
  • rpms/prooftree -- Proof tree visualization for Proof General ( master f26 f25 )
  • rpms/pvs-sbcl -- Interactive theorem prover from SRI ( master f26 f25 f24 )
  • rpms/python-BTrees -- Scalable persistent object containers ( master f26 f25 f24 )
  • rpms/python-ZEO -- Client-server storage implementation for ZODB ( master f26 f25 f24 )
  • rpms/python-ZODB -- Zope Object Database and persistence ( master f26 f25 f24 )
  • rpms/python-ZODB3 -- Zope Object Database: Object Database and Persistence ( master f26 f25 f24 el6 )
  • rpms/python-cvxopt -- A Python Package for Convex Optimization ( master f26 f25 f24 )
  • rpms/python-fastcache -- C implementation of python3 lru_cache ( master f26 f25 f24 )
  • rpms/python-gmpy2 -- Python interface to GMP, MPFR, and MPC ( master f26 f25 f24 )
  • rpms/python-latexcodec -- Lexer and codec to work with LaTeX code in Python ( master f26 f25 f24 )
  • rpms/python-networkx -- Creates and Manipulates Graphs and Networks ( master f26 f25 f24 epel7 el6 )
  • rpms/python-orderedset -- Ordered set implementation in Cython ( master f26 f25 f24 )
  • rpms/python-persistent -- Translucent persistent python objects ( master f26 f25 f24 )
  • rpms/python-pybtex -- BibTeX-compatible bibliography processor written in Python ( master f26 f25 f24 )
  • rpms/python-pybtex-docutils -- Docutils backend for pybtex ( master f26 f25 f24 )
  • rpms/python-random2 -- Python 2 compatible random module ( master f26 f25 f24 )
  • rpms/python-repoze-sphinx-autointerface -- Auto-generate Sphinx API docs from Zope interfaces ( master f26 f25 f24 )
  • rpms/python-sphinx-testing -- Testing utility classes and functions for Sphinx extensions ( master f26 f25 f24 )
  • rpms/python-sphinx_rtd_theme -- Sphinx theme for readthedocs.org ( master f26 f25 f24 )
  • rpms/python-sphinxcontrib-bibtex -- Sphinx extension for BibTeX style citations ( master f26 f25 f24 )
  • rpms/python-theano -- Mathematical expressions involving multidimensional arrays ( master f26 f25 f24 )
  • rpms/python-zodbpickle -- Fork of Python 2 pickle module for ZODB ( master f26 f25 f24 )
  • rpms/python-zope-testrunner -- Zope testrunner script ( master f26 f25 f24 )
  • rpms/qepcad-B -- Quantifier elimination tool ( master f26 f25 f24 )
  • rpms/remake -- Build system that bridges the gap between make and redo ( master f26 f25 f24 )
  • rpms/saclib -- Computer algebra library ( master f26 f25 f24 )
  • rpms/sphinxbase -- Common library for CMU Sphinx voice recognition products ( master f26 f25 f24 )
  • rpms/sphinxtrain -- Acoustic model trainer for CMU's Sphinx tools ( master f26 f25 f24 )
  • rpms/stp -- Constraint solver/decision procedure ( master f26 f25 f24 )
  • rpms/subunit -- C bindings for subunit ( master f26 f25 f24 epel7 )
  • rpms/symmetrica -- A Collection of Routines for Solving Symmetric Groups ( master f26 f25 f24 )
  • rpms/sympol -- Symmetric polyhedra tool ( master f26 f25 f24 )
  • rpms/sympy -- A Python library for symbolic mathematics ( master f26 f25 f24 )
  • rpms/trinity -- System call fuzz tester ( master f26 f25 f24 )
  • rpms/tth -- TeX to HTML/MathML translators ( master f26 f25 f24 )
  • rpms/vinci -- Algorithms for volume computation ( master f26 f25 f24 )
  • rpms/why3 -- Software verification platform ( master f26 f25 f24 )
  • rpms/xemacs -- Different version of Emacs ( master f26 f25 f24 epel7 el6 )
  • rpms/xemacs-packages-base -- Base lisp packages for XEmacs ( master f26 f25 f24 epel7 el6 )
  • rpms/xemacs-packages-extra -- Collection of XEmacs lisp packages ( master f26 f25 f24 epel7 el6 )
  • rpms/xgap -- GUI for GAP ( master f26 f25 f24 )
  • rpms/z3 -- Satisfiability Modulo Theories (SMT) solver ( master f26 f25 f24 )
  • rpms/zenon -- Automated theorem prover for first-order classical logic ( master f26 f25 f24 )

Co-maintainer:

  • rpms/alt-ergo -- Automated theorem prover including linear arithmetic ( master f26 f25 f24 )
  • rpms/cddlib -- A library for generating all vertices in convex polyhedrons ( master f26 f25 f24 )
  • rpms/coq -- Proof management system ( master f26 f25 f24 )
  • rpms/flint -- Fast Library for Number Theory ( master f26 f25 f24 )
  • rpms/gf2x -- Polynomial multiplication over the binary field ( epel7 )
  • rpms/givaro -- C++ library for arithmetic and algebraic computations ( master f26 f25 f24 )
  • rpms/gramps -- Genealogical Research and Analysis Management Programming System ( master f26 f25 f24 )
  • rpms/libedit -- The NetBSD Editline library ( master f26 f25 f24 )
  • rpms/libgap -- C library version of the GAP kernel ( master f26 f25 f24 )
  • rpms/mpfi -- An interval arithmetic library based on MPFR ( master f26 f25 f24 )
  • rpms/mpir -- A library for arbitrary precision arithmetic ( master f26 f25 f24 )
  • rpms/normaliz -- A tool for mathematical computations ( master f26 f25 f24 )
  • rpms/ntl -- High-performance algorithms for vectors, matrices, and polynomials ( master f26 f25 f24 )
  • rpms/ocaml-ocamlgraph -- OCaml library for arc and node graphs ( master f26 f25 f24 )
  • rpms/python-manuel -- Build tested documentation ( master f26 f25 f24 epel7 el6 )
  • rpms/tbb -- The Threading Building Blocks library abstracts low-level threading details ( master f26 f25 f24 )
  • rpms/why -- Software verification platform ( master f26 f25 f24 )