|
stegsolve
|
1.3-3 |
25 |
0.26
|
A steganographic image analyzer, solver and data extractor for challanges |
anthraxx
|
2015-06-18 16:12 (UTC) |
|
calculix-ccx
|
2.21-1 |
23 |
0.01
|
CalculiX: 3D Structural Finite Element Program - Solver |
mauritiusdadd
|
2024-02-03 16:31 (UTC) |
|
hodoku
|
2.3.2_WIP-1 |
15 |
0.00
|
Sudoku generator/solver/analyzer |
SanskritFritz
|
2024-01-27 15:26 (UTC) |
|
mumps
|
5.6.2-1 |
14 |
0.00
|
Sparse solver library using Gaussian elimination |
MartinDiehl
|
2023-11-05 08:50 (UTC) |
|
nheqminer-cpu-git
|
0.5c.r1.gb9900ff-2 |
13 |
0.00
|
zcash equihash miner by NiceHash. Xenoncat CPU solver build. |
sebstar
|
2017-01-18 12:16 (UTC) |
|
cmdpack-wordadd
|
1.06-2 |
13 |
0.00
|
Addition word puzzle solver |
chungy
|
2018-05-29 22:51 (UTC) |
|
spooles
|
2.2-7 |
11 |
0.00
|
SParse Object Oriented Linear Equations Solver |
gborzi
|
2021-06-08 22:42 (UTC) |
|
nheqminer-cuda-git
|
0.5c.r1.gb9900ff-1 |
11 |
0.00
|
zcash equihash miner by NiceHash. Djezo GPU/CUDA solver build. |
sebstar
|
2018-02-05 16:36 (UTC) |
|
gurobi
|
11.0.1-1 |
8 |
0.07
|
State-of-the-art solver for mathematical programming |
marcosmrai
|
2024-03-07 22:47 (UTC) |
|
python-fipy
|
3.4.4-1 |
7 |
0.00
|
Partial differential equation solver for Python, based on finite volume approach. |
fordprefect
|
2023-06-27 18:44 (UTC) |
|
rescached-git
|
4.4.2.r9.gd35cf24-1 |
6 |
0.00
|
Resolver/DNS cache daemon |
shulhan
|
2024-03-26 18:10 (UTC) |
|
flaresolverr
|
3.3.17-1 |
6 |
0.00
|
A proxy server to bypass Cloudflare protection |
txtsd
|
2024-04-12 04:41 (UTC) |
|
mosek
|
1:10.1.1-1 |
5 |
0.00
|
A commercial solver for mathematical optimization problems. |
ido
|
2023-06-21 03:42 (UTC) |
|
hypre
|
2.31.0-1 |
5 |
0.28
|
Parallel solvers for sparse linear systems featuring multigrid methods |
carlosal1015
|
2024-02-15 07:59 (UTC) |
|
bcalc
|
16.05.0-1 |
5 |
0.00
|
Double-dummy solver for bridge (the card game). |
anntzer
|
2016-06-27 05:06 (UTC) |
|
elpa
|
2023.05.001-1 |
4 |
0.00
|
Eigenvalue SoLvers for Petaflop-Applications |
a.kudelin
|
2023-06-23 10:18 (UTC) |
|
stubby-git
|
2718.8797280-1 |
3 |
0.00
|
DNS Privacy stub resolver |
codeworkx
|
2018-02-26 20:06 (UTC) |
|
python-slycot-git
|
517.a40505a-1 |
3 |
0.00
|
Python wrapper for selected SLICOT routines, notably including solvers for Riccati, Lyapunov and Sylvester equations. |
orphan
|
2021-03-22 21:58 (UTC) |
|
postfix-mta-sts-resolver
|
1.3.0-1 |
3 |
0.00
|
Daemon for MTA-STS policy enforcement for postfix |
tohojo
|
2023-03-26 20:21 (UTC) |
|
openems-git
|
v0.0.36.r15.g1ccf094-1 |
3 |
0.00
|
a free and open source EC-FDTD solver |
thasti
|
2024-03-16 19:23 (UTC) |
|
octave-msh
|
1.0.12-1 |
3 |
0.00
|
Create and manage triangular and tetrahedral meshes for Finite Element or Finite Volume PDE solvers. Use a mesh data structure compatible with PDEtool. Rely on gmsh for unstructured mesh generation. |
carlosal1015
|
2022-11-07 23:49 (UTC) |
|
nss-tls-git
|
r80.e31dd2a-1 |
3 |
0.00
|
A DNS over HTTPS resolver for glibc |
orphan
|
2019-06-10 10:47 (UTC) |
|
libnss-resolver
|
0.3.0-1 |
3 |
0.00
|
A Linux extension that adds support to the /etc/resolver/[suffix]. |
felipe.azukiapp
|
2016-01-10 14:25 (UTC) |
|
kanidm-unixd-clients
|
1.1.0_rc.16-1 |
3 |
0.33
|
kanidm localhost resolver to resolve posix identities to a kanidm instance. |
soloturn
|
2024-02-24 23:28 (UTC) |
|
flaresolverr-git
|
3.0.2.r1.g2d97f88-1 |
3 |
0.00
|
A proxy server to bypass Cloudflare protection |
HLFH
|
2023-01-10 13:43 (UTC) |
|
cplex
|
20.10-2 |
3 |
0.00
|
A commercial solver for mathematical optimization problems. |
orphan
|
2022-01-06 15:33 (UTC) |
|
coin-or-symphony
|
5.7.2-1 |
3 |
0.00
|
COIN-OR solver for mixed-integer linear programs (MILPs) |
carlosal1015
|
2024-03-27 03:45 (UTC) |
|
coin-or-hsl
|
2023.05.26-1 |
3 |
0.00
|
HSL Mathematical Software Library. Including solvers for sparse linear systems of equations and sparse eigenvalue problems. Compiled with coin-or-tools, supports Ipopt. |
sbalula
|
2023-06-19 16:39 (UTC) |
|
uarmsolver
|
0.2.6-1 |
2 |
0.00
|
Universal Association Rule Mining Solver |
carlosal1015
|
2024-01-04 05:16 (UTC) |
|
tenace
|
0.17-1 |
2 |
0.00
|
A Bridge hand viewer and editor with double dummy solver |
orphan
|
2023-06-28 18:31 (UTC) |
|
systemd-resolved-public-dns
|
2-1 |
2 |
0.00
|
Config files defining well-known, public, IPv4 and IPv6 DNS servers for systemd's DNS resolver (includes DNSSEC) |
jamesan
|
2018-03-17 02:58 (UTC) |
|
silentarmy-nvmod-git
|
v5.29.g016f8e8-1 |
2 |
0.00
|
GPU Zcash Equihash solver optimized for Nvidia and CUDA 8 |
timde9
|
2016-12-18 00:50 (UTC) |
|
sdpb-git
|
1718.2443d6d5-1 |
2 |
0.00
|
A semidefinite program solver for the conformal bootstrap |
mane.andrea
|
2024-01-04 16:50 (UTC) |
|
python-pyamg
|
5.1.0-1 |
2 |
0.00
|
Algebraic Multigrid Solvers in Python |
carlosal1015
|
2024-03-20 02:10 (UTC) |
|
python-picos
|
2.4-1 |
2 |
0.00
|
A Python interface to conic optimization solvers. |
Viech
|
2022-02-12 11:42 (UTC) |
|
python-openems-git
|
v0.0.36.r15.g1ccf094-1 |
2 |
0.00
|
a free and open source EC-FDTD solver |
thasti
|
2024-03-16 19:29 (UTC) |
|
python-lap
|
1:0.4.0-1 |
2 |
0.44
|
lap is a linear assignment problem solver using Jonker-Volgenant algorithm for dense (LAPJV) or sparse (LAPMOD) matrices. |
fanyujun
|
2024-03-12 07:03 (UTC) |
|
python-calcpy-git
|
0.1.r216.g9d78f3f-1 |
2 |
0.70
|
Terminal calculator and advanced math solver using Python, IPython and SymPy (built from latest commit) |
kseistrup
|
2024-02-29 16:53 (UTC) |
|
picosat
|
965-2 |
2 |
0.00
|
The PicoSAT solver |
keenerd
|
2019-04-29 20:12 (UTC) |
|
mumps-seq-shared
|
5.3.5-1 |
2 |
0.00
|
Sparse solver library using Gaussian elimination (sequential version, shared library version) |
lobachevsky
|
2020-11-09 12:44 (UTC) |
|
mumps-seq
|
5.6.2-1 |
2 |
0.00
|
Sparse solver library using Gaussian elimination (sequential version) |
carlosal1015
|
2023-11-05 15:41 (UTC) |
|
minisat-git
|
2.2.1.r3.gf7d16b9-1 |
2 |
0.00
|
A minimalistic and high-performance SAT solver (git version) |
dkasak
|
2020-09-12 21:59 (UTC) |
|
hnsd-git
|
1.0.0.5.g1b47849-1 |
2 |
0.00
|
SPV resolver daemon for the Handshake network. Written in C for speed/size/embedability. |
thann
|
2021-01-06 20:06 (UTC) |
|
flaresolverr-bin
|
3.3.17-1 |
2 |
0.00
|
A proxy server to bypass Cloudflare protection |
txtsd
|
2024-04-12 04:52 (UTC) |
|
dds
|
2.9.0-1 |
2 |
0.00
|
A bridge double dummy solver |
kleintux
|
2022-01-23 09:40 (UTC) |
|
damask-grid
|
3.0.0beta-2 |
2 |
0.00
|
Grid solver for DAMASK |
MartinDiehl
|
2024-03-31 07:35 (UTC) |
|
damask-mesh
|
3.0.0beta-2 |
2 |
0.00
|
Mesh solver for DAMASK |
MartinDiehl
|
2024-03-31 07:35 (UTC) |
|
cryptominisat4
|
4.5.3-1 |
2 |
0.00
|
A modern, multi-threaded, feature-rich, simplifying SAT solver |
keenerd
|
2016-11-17 19:26 (UTC) |
|
coin-or-qpoases
|
3.2.1-2 |
2 |
0.00
|
COIN-OR QP solver with online active set strategy |
Nim65s
|
2022-09-13 21:44 (UTC) |
|
cadical
|
1.9.5-1 |
2 |
0.00
|
A simple CDCL satisfiability solver |
meadow
|
2024-03-26 23:08 (UTC) |