flaresolverrbin

2.2.91 
5 
0.73

A proxy server to bypass Cloudflare protection 
txtsd

rescachedgit

4.3.0.r0.g36b08fe1 
6 
0.69

Resolver/DNS cache daemon 
shulhan

rocalution

5.2.31 
2 
0.60

Next generation library for iterative sparse solvers for ROCm platform 
tpkessler

hipsolver

5.2.11 
1 
0.60

rocSOLVER marshalling library. 
tpkessler

rocsolver

5.2.31 
2 
0.60

Subset of LAPACK functionality on the ROCm platform 
tpkessler

elpa

2022.05.0012 
4 
0.27

Eigenvalue SoLvers for PetaflopApplications 
a.kudelin

minisatgit

2.2.1.r3.gf7d16b91 
2 
0.26

A minimalistic and highperformance SAT solver (git version) 
dkasak

stegsolve

1.33 
21 
0.16

A steganographic image analyzer, solver and data extractor for challanges 
anthraxx

minion

2.03 
2 
0.14

A relatively new constraint solver which is fast and scales well as problem size increases 
thor77

python2kiwisolver

1.1.05 
1 
0.13

A fast implementation of the Cassowary constraint solver 
hexd

damaskmesh

3.0.0~alpha63 
2 
0.11

Mesh solver for DAMASK 
MartinDiehl

damaskgrid

3.0.0~alpha63 
2 
0.11

Grid solver for DAMASK 
MartinDiehl

nsstlsgit

r80.e31dd2a1 
3 
0.10

A DNS over HTTPS resolver for glibc 
orphan

hypre

2.25.01 
4 
0.07

Parallel solvers for sparse linear systems featuring multigrid methods 
carlosal1015

gurobi

9.5.21 
7 
0.04

Stateoftheart solver for mathematical programming 
marcosmrai

mumps

5.5.11 
14 
0.04

Sparse solver library using Gaussian elimination 
MartinDiehl

boolector

3.2.22 
2 
0.04

Boolector is an efficient SMT solver for the quantifierfree theory of bitvectors in combination with the quantifierfree extensional theory of arrays. 
Ice_Phoenix

cadical

1.5.01 
2 
0.04

A simple CDCL satisfiability solver 
keenerd

bertini_realgit

r1075.3dbac521 
1 
0.04

Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver 
akobel

bertini

1.62 
2 
0.04

Homotopy continuation solver for systems of polynomial equations 
akobel

openemsgit

v0.0.35.r62.gbb235b21 
3 
0.02

a free and open source ECFDTD solver 
thasti

ceressolver

2.1.01 
19 
0.02

Solver for nonlinear least squares problems 
dtag

uarmsolver

0.2.41 
2 
0.02

Universal Association Rule Mining Solver 
carlosal1015

mumpspar

5.4.11 
1 
0.01

Sparse solver library using Gaussian elimination, with parmetis implementation 
heavysink

pythonpicos

2.41 
2 
0.01

A Python interface to conic optimization solvers. 
Viech

amplasl

202205201 
1 
0.01

AMPL Solver Library 
carlosal1015

coinorsymphony

5.6.191 
2 
0.01

COINOR solver for mixedinteger linear programs (MILPs) 
carlosal1015

octavemsh

1.0.105 
3 
0.01

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

qbsolv

0.3.41 
1 
0.01

A decomposing solver that finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem 
yasuoozu

pythonscs

3.2.01 
4 
0.01

Convex cone solver via operator splitting. 
thrasibule

coinorhsl

2021.05.051 
2 
0.00

HSL Mathematical Software Library. Including solvers for sparse linear systems of equations and sparse eigenvalue problems. Compiled with coinortools, supports Ipopt. 
sbalula

pointwise

18.6R11 
1 
0.00

Pointwise is the choice for CFD (computational fluid dynamics) mesh generation, covering all of preprocessing from geometry model import to flow solver export. 
SandFloh

calculixccx

2.201 
22 
0.00

CalculiX: 3D Structural Finite Element Program  Solver 
mauritiusdadd

pythonosqp

v0.7.93 
1 
0.00

Python interface for OSQP (Operator Splitting QP Solver) 
doublesack

ecos

2.0.101 
5 
0.00

A lightweight conic solver for secondorder cone programming. 
thrasibule

pythonpyamg

4.2.32 
2 
0.00

Algebraic Multigrid Solvers in Python 
carlosal1015

pythonduneistl

2.8.02 
1 
0.00

Iterative Solver Template Library (python bindings) 
carlosal1015

duneistl

2.8.02 
1 
0.00

Iterative Solver Template Library 
carlosal1015

sdpbgit

1517.428b7ee1 
1 
0.00

Semidefinite program solver designed for the conformal bootstrap 
mane.andrea

pythonslycot

0.5.0.01 
1 
0.00

Python wrapper for selected SLICOT routines, notably including solvers for Riccati, Lyapunov and Sylvester equations. 
bnavigator

pythonlapsolver

1.1.03 
1 
0.00

Fast linear assignment problem solvers 
coldsoup49

pythonscikitumfpack

0.3.21 
1 
0.00

Python interface to UMFPACK sparse direct solver. 
greyltc

mosek

1:10.0.201 
5 
0.00

A commercial solver for mathematical optimization problems. 
ido

rdesolve

1.332 
1 
0.00

Solvers for Initial Value Problems of Differential Equations ('ODE', 'DAE', 'DDE') 
BioArchLinuxBot

colorcode

0.8.52 
1 
0.00

Advanced MasterMind game and solver 
zoe

lingeling

1805171 
1 
0.00

A BSP SAT solver derived from Picosat. 
keenerd

glucose

4.11 
1 
0.00

Parallel SAT solver based on Minisat, with glue clauses. 
keenerd

spooles

2.27 
11 
0.00

SParse Object Oriented Linear Equations Solver 
gborzi

sdnsgit

r659.3089a621 
1 
0.00

Privacy important, fast, recursive dns resolver server with dnssec support 
spikecodes

mumpsseqshared

5.3.51 
2 
0.00

Sparse solver library using Gaussian elimination (sequential version, shared library version) 
lobachevsky
