| lib |
arpack-mkl |
3.1.5-1 |
4 |
Fortran77 subroutines designed to solve large scale eigenvalue problems, BLAS&LAPACK from Intel MKL |
orphan
|
| devel |
ccmalloc |
0.4.0-4 |
0 |
Track down memory related problems with C and C++ programs |
orphan
|
| system |
fbterm-patched |
1.7.0-6 |
0 |
A fast terminal emulator for linux with frame buffer device or VESA video card. With some patches that fix some known problems |
orphan
|
| science |
geometria |
3.2.r193-1 |
3 |
Provides a graphic interface for creating and solving problems in solid geometry. |
orphan
|
| gnome |
gnome-fix |
0-1 |
10 |
A Simple Script For Resolve Cursor Problem of Gnome 2.30 and Change Gnome Default Bg (Lock Screen Bg) |
orphan
|
| games |
gog-fixes |
0.1-1 |
4 |
Fixes no sound problem in wine using GOG games |
orphan
|
| games |
kitsune |
2.0-3 |
2 |
Software that solves numbers problem from a french TV show. |
orphan
|
| science |
minizinc-bin |
1.6-1 |
2 |
MiniZinc is a modelling language for constraint programming problems (upstream binaries) |
orphan
|
| devel |
nant-nightly |
0.91-3 |
36 |
A free .NET build tool, like make but without make's problems |
orphan
|
| lib |
ogreal |
137-1 |
0 |
An OpenAL wrapper for the Ogre Rendering Engine (with patch for 'buffer queue' problem) |
orphan
|
| lib |
ogreal-svn |
137-1 |
3 |
An OpenAL wrapper for the Ogre Rendering Engine (with patch for 'buffer queue' problem) |
orphan
|
| devel |
please |
0.2.953-1 |
0 |
Tool for programming contest problem maintaining |
orphan
|
| science |
python-numdifftools |
0.6.0-1 |
2 |
Solves automatic numerical differentiation problems in one or more variables. |
orphan
|
| science |
python2-cvxpy-git |
2013.09.05.7f7c6f0-1 |
2 |
Modeling convex optimization problems in Python |
orphan
|
| devel |
relsat |
2.20-1 |
0 |
solves instances of the propositional satisfiability problem (SAT) |
orphan
|
| system |
smart-bzr |
866-1 |
0 |
CThe Smart Package Manager project has the ambitious objective of creating smart and portable algorithms for solving adequately the problem of managing software upgrades and installation. |
orphan
|
| science |
starlab |
4.4.4-2 |
1 |
Software for simulating the evolution of n-body problem (dense stellar systems) and analyzing the resultant data |
orphan
|
| office |
tablix2 |
0.3.5-1 |
1 |
Free software for solving timetabling problems. |
orphan
|
| science |
truee |
3.1.1-1 |
0 |
Time-dependent Regularized Unfolding for Economics and Engineering problems |
orphan
|
| devel |
valgrind-svn |
r13779-1 |
4 |
A tool to help find memory-management problems in programs |
orphan
|
| science |
octave-odebvp |
1.0.6-1 |
1 |
To approximate the solution of the boundary-value problem y''=p(x)*y' + q(x)*y + r(x), aDetailsDependencies:Octave(>= 2.9.9)Autoload:Yes |
Airon90
|
| science |
4ti2 |
1.6.5-1 |
0 |
A software package for algebraic, geometric and combinatorial problems on linear spaces |
arojas
|
| editors |
vim-wordy-git |
20140821-1 |
0 |
Uncover usage problems in your writing |
atweiden
|
| games |
popeye |
4.69-1 |
2 |
A chess problem solving and testing software |
Auguste
|
| devel |
cppclean |
0.2.6-1 |
1 |
Find problems in C++ source that slow development of large code bases. |
bchretien
|
| lib |
python-constraint |
1.1-5 |
4 |
A Python module offering solvers for Constraint Solving Problems (CSPs) over finite domains in simple and pure Python |
BinkyTheClown
|
| lib |
perl-log-report |
1.04-1 |
0 |
Perl package to log/report a problem with exceptions, pluggable handlers and translation support |
bunder
|
| science |
python-spams-svn |
20141221-1 |
0 |
Optimization toolbox for solving various sparse estimation problems with Python interface |
cavoegele
|
| science |
python2-numdifftools |
0.6.0-1 |
0 |
Solves automatic numerical differentiation problems in one or more variables. |
davidovitch
|
| system |
python-ftfy-git |
r194.7f025a2-1 |
1 |
Fixes some problems with Unicode text after the fact |
dlandau
|
| system |
tiger |
3.2.3-3 |
31 |
A security scanner, that checks computer for known problems. Can also use tripwire, aide and chkrootkit |
Dragonlord
|
| science |
auto-07p |
0.9.1-41 |
3 |
Software for continuation and bifurcation problems in ordinary differential equations. Release 07P. Environment variables controlling build (default to 'no', see PKGBUILD): _BUILD_DOC, _WITH_PLAUT04, _PLAUT04_WITH_QT, AUTO_DEBUG, _WITH_OPENMP, _WITH_MPI. |
dreieck
|
| lib |
lapackpp |
2.5.4-1 |
2 |
A library for high performance linear algebra computations. This version includes support for solving linear systems using LU, Cholesky, QR matrix factorizations, and symmetric eigenvalue problems. |
duca
|
| science |
su2 |
3.2.9-2 |
1 |
open-source collection of software tools written in C++ for performing Partial Differential Equation (PDE) analysis and solving PDE-constrained optimization problems |
eleftg
|
| games |
gog-beneath-a-steel-sky |
1.0.0.2-1 |
2 |
All man's social problems are coming to a boil. Under the claustrophobic lid of a steel sky. |
fettouhi
|
| lib |
haskell-cautious-file |
1.0.2-1 |
11 |
Ways to write a file cautiously, to reduce the chances of problems such as data loss due to crashes or power failures |
fosskers
|
| system |
fslint-svn |
294-1 |
2 |
A utility to find and clean unwanted or problematic cruft in your files or file names. |
haawda
|
| science |
harminv |
1.3.1-3 |
4 |
A free program to solve the problem of harmonic inversion |
haawda
|
| science |
mosek |
1:7.0.0.128-1 |
1 |
A tool for solving mathematical optimization problems. |
ido
|
| devel |
phpmd |
2.2.3-1 |
7 |
Takes a given PHP source code base and look for several potential problems within that source. |
jojosch
|
| science |
glp-solve |
1.2-1 |
2 |
A graphic interface for the LP-Solve Software for resolving Linear Program problems |
jorgicio
|
| science |
ceres-solver |
1.10.0-1 |
6 |
Solver for nonlinear least squares problems |
josetascon
|
| devel |
python-skdata-git |
0.0.4.r441.3cfc359-2 |
1 |
Skdata is a library of data sets for machine learning and statistics. This module provides standardized Python 3 access to toy problems as well as popular computer vision and natural language processing data sets |
jyantis
|
| devel |
python2-skdata-git |
0.0.4.r441.3cfc359-2 |
1 |
Skdata is a library of data sets for machine learning and statistics. This module provides standardized Python 2 access to toy problems as well as popular computer vision and natural language processing data sets |
jyantis
|
| science |
libminizinc |
2.0.2-1 |
1 |
MiniZinc is a modelling language for constraint programming problems |
kd35a
|
| network |
netwox |
5.39.0-1 |
3 |
Toolbox netwox helps to find and solve network problems. |
keenerd
|
| science |
qap |
0.5.2-1 |
0 |
Quadratic assignment problem solver |
kfgz
|
| system |
qn24b |
1.0-1 |
1 |
Benchmark that solves 24-queens problem. Openmp and standard version. |
kfgz
|
| science |
scipoptsuite |
3.1.1-1 |
4 |
Toolbox for generating and solving optimization problems. |
leethargo
|
| devel |
fpp-git |
0.5.6r176-1 |
1 |
Facebook PathPicker is a simple command line tool that solves the perpetual problem of selecting files out of bash output. |
lsmag
|