|
proxsuite-nlp-docs
|
0.3.1-1 |
0 |
0.00
|
A primal-dual augmented Lagrangian solver for nonlinear programming on manifolds. |
Nim65s
|
2023-12-31 11:17 (UTC) |
|
pipgrip
|
0.10.13-2 |
0 |
0.00
|
Lightweight pip dependency resolver with deptree preview functionality based on the PubGrub algorithm |
yochananmarqos
|
2024-03-27 16:54 (UTC) |
|
petsc4foam
|
v2312-1 |
0 |
0.00
|
Exploration and testing of linear solvers, matrix operations |
carlosal1015
|
2024-04-13 00:31 (UTC) |
|
perl-net-dns-paranoid
|
0.09-2 |
0 |
0.00
|
paranoid dns resolver |
jimmyxu
|
2024-02-09 14:56 (UTC) |
|
perl-net-dns-native
|
0.15-1 |
0 |
0.00
|
non-blocking system DNS resolver |
jnbek
|
2016-03-26 23:48 (UTC) |
|
peldd
|
0.3.0-1 |
0 |
0.00
|
DLL dependency resolver for PE32(+) executables |
tblFlip
|
2024-02-27 20:49 (UTC) |
|
pbqp
|
1.0-1 |
0 |
0.00
|
Bernhard Scholz' PBQP solver tool |
andrew-wja
|
2017-09-04 19:23 (UTC) |
|
osqp-git
|
v1.0.0.beta1.r9.g1704870-1 |
0 |
0.00
|
The Operator Splitting QP Solver |
If_Return
|
2024-03-05 07:18 (UTC) |
|
osqp
|
0.6.3-1 |
0 |
0.00
|
The Operator Splitting QP Solver |
Nim65s
|
2023-06-01 13:45 (UTC) |
|
opentaxsolver-2021-svn
|
2021.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
orphan
|
2022-02-06 22:28 (UTC) |
|
opentaxsolver-2020-svn
|
2020.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
EndlessEden
|
2022-02-06 22:27 (UTC) |
|
opentaxsolver-2019-svn
|
2019.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
EndlessEden
|
2022-02-06 22:26 (UTC) |
|
opentaxsolver-2018-svn
|
2018.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
EndlessEden
|
2022-02-06 22:25 (UTC) |
|
opentaxsolver-2017-svn
|
2017.r0-1 |
0 |
0.00
|
An easy-to-use text-based calculator for US Tax Forms |
EndlessEden
|
2022-02-06 22:25 (UTC) |
|
openems-project-git
|
0.0.35-1 |
0 |
0.00
|
free and open electromagnetic field solver using the FDTD method. |
Kezi
|
2020-03-20 14:13 (UTC) |
|
oink-git
|
r160.3327c54-1 |
0 |
0.00
|
Oink is an implementation of modern parity game solvers written in C++. |
lonne
|
2021-09-17 12:14 (UTC) |
|
nonogram-cli
|
2.2.1-0 |
0 |
0.00
|
A fast command-line based nonogram solver. |
ricoriedel
|
2023-01-08 13:42 (UTC) |
|
mono-msbuild-sdkresolver-git
|
16.10.1.r5005.gde7a9c7b8-1 |
0 |
0.00
|
Xamarin implementation of the Microsoft build system (SDK resolver) (Git version) |
LinuxUserGD
|
2023-12-20 21:36 (UTC) |
|
mingw-w64-sundials
|
5.3.0-1 |
0 |
0.00
|
Suite of nonlinear differential/algebraic equation solvers (mingw-w64) |
orphan
|
2020-07-17 20:20 (UTC) |
|
mingw-w64-mumps
|
5.7.1-1 |
0 |
0.00
|
Sparse solver library using Gaussian elimination (mingw-w64) |
xantares
|
2024-05-06 17:42 (UTC) |
|
mingw-w64-miniglog
|
0.0.1-1 |
0 |
0.00
|
A logging library based on the miniglog library found in ceres-solver (mingw-w64) |
osfans
|
2017-05-16 02:09 (UTC) |
|
mingw-w64-lpsolve
|
5.5.2.11-1 |
0 |
0.00
|
a Mixed Integer Linear Programming (MILP) solver (mingw-w64) |
xantares
|
2023-05-02 16:47 (UTC) |
|
mingw-w64-libgeoip
|
1.6.12-1 |
0 |
0.00
|
Non-DNS IP-to-country resolver C library (mingw-w64) |
orphan
|
2021-04-16 04:34 (UTC) |
|
mingw-w64-coin-or-osi
|
0.108.10-1 |
0 |
0.00
|
COIN-OR Open Solver Interface (mingw-w64) |
xantares
|
2024-04-13 21:31 (UTC) |
|
mingw-w64-coin-or-clp
|
1.17.9-1 |
0 |
0.00
|
COIN-OR linear programming solver (mingw-w64) |
xantares
|
2023-10-25 22:18 (UTC) |
|
mingw-w64-coin-or-cbc
|
2.10.11-1 |
0 |
0.00
|
COIN-OR branch-and-cut mixed integer programming solver (mingw-w64) |
xantares
|
2023-10-25 22:21 (UTC) |
|
mingw-w64-coin-or-asl
|
2.0.1-1 |
0 |
0.00
|
COIN-OR autotools harness to build AMPL Solver Library (mingw-w64) |
xantares
|
2023-11-11 10:47 (UTC) |
|
mingw-w64-ceres-solver
|
2.2.0-4 |
0 |
0.00
|
Solver for nonlinear least squares problems (mingw-w64) |
xantares
|
2024-03-31 11:02 (UTC) |
|
massdns
|
1.1.0-2 |
0 |
0.00
|
A high-performance DNS stub resolver for bulk lookups and reconnaissance |
imlonghao
|
2024-03-10 12:42 (UTC) |
|
lis
|
2.0.30-1 |
0 |
0.00
|
Library of Iterative Solvers for linear systems |
heavysink
|
2021-01-30 13:51 (UTC) |
|
lingo
|
20.0-1 |
0 |
0.00
|
Comprehensive modeling language and solvers for linear, non-linear, and integer programming. |
sukanka
|
2023-04-15 03:50 (UTC) |
|
libnss-resolver-git
|
0.3.0-1 |
0 |
0.00
|
A Linux extension that adds support to the /etc/resolver/[suffix]. |
felipe.azukiapp
|
2016-01-08 15:24 (UTC) |
|
libmicrodns-git
|
0.2.0.r6.g1d4556e-1 |
0 |
0.00
|
Minimal mDNS resolver library |
orphan
|
2023-01-26 04:13 (UTC) |
|
lazylpsolverlibs-git
|
7d32dc6-1 |
0 |
0.00
|
lazylpsolverlibs provides libraries that can replace at link time those of commercial lp solvers. |
yhfudev
|
2015-06-09 16:36 (UTC) |
|
kanidm-unixd-clients-git
|
1.3.0.dev.r3.g1fb816582-1 |
0 |
0.00
|
kanidm localhost resolver to resolve posix identities to a kanidm instance. |
soloturn
|
2024-05-01 08:38 (UTC) |
|
jdresolve-git
|
r11.365e7f0-1 |
0 |
0.00
|
A fast and recursive DNS name resolver for log files |
brieck
|
2022-03-11 10:17 (UTC) |
|
ifopt
|
2.1.3-1 |
0 |
0.00
|
An Eigen-based, light-weight C++ Interface to Nonlinear Programming Solvers (Ipopt, Snopt) |
acxz
|
2022-07-01 12:18 (UTC) |
|
hpipm-git
|
r1325.b140f36-1 |
0 |
0.00
|
High-performance interior-point-method QP solvers |
acxz
|
2022-07-13 17:10 (UTC) |
|
hpipm
|
0.1.3-1 |
0 |
0.00
|
High-performance interior-point-method QP solvers |
acxz
|
2021-10-28 13:23 (UTC) |
|
haskell-diagrams-solve
|
0.1.1-1 |
0 |
0.00
|
Pure Haskell solver routines used by the diagrams project. |
orphan
|
2019-02-06 21:21 (UTC) |
|
gurobi81
|
8.1.0-1 |
0 |
0.00
|
State-of-the-art solver for mathematical programming |
user20159
|
2021-01-16 20:09 (UTC) |
|
gqthres
|
1.1.2-0 |
0 |
0.00
|
Resolver for Callsigns and Locators |
bmgtjonas
|
2021-11-06 17:36 (UTC) |
|
gaol-git
|
r6.6e6cd9a-1 |
0 |
0.00
|
GAOL (not Just Another Interval Arithmetic Library) is a C++ Interval Arithmetic Library that offers all operators required by interval constraint solvers. |
orphan
|
2019-10-03 14:49 (UTC) |
|
elastic-git
|
20210506.r145-5 |
0 |
0.00
|
Simple yet efficient finite element solver for linear elasticity problems in two and three dimensions. |
orphan
|
2022-02-23 16:34 (UTC) |
|
eiquadprog
|
1.2.6-1 |
0 |
0.00
|
Quadratic Programing solver with eigen |
Nim65s
|
2023-03-31 12:40 (UTC) |
|
eiquadprog-docs
|
1.2.6-1 |
0 |
0.00
|
Quadratic Programing solver with eigen |
Nim65s
|
2023-03-31 12:40 (UTC) |
|
dnsprobe
|
1.0.3-1 |
0 |
0.00
|
Perform multiple dns queries of your choice with a list of user supplied resolvers |
kleintux
|
2020-11-22 19:39 (UTC) |
|
dev-tld-resolver-git
|
r12.g4924eff-1 |
0 |
0.00
|
Simple top level domain (NSSwitch hosts) resolver for linux based development environment. |
twnaing
|
2021-09-11 13:23 (UTC) |
|
cvodes
|
2.7.0-1 |
0 |
0.00
|
CVODES is a solver for stiff and nonstiff ODE systems given in explicit form y’ = f(t,y,p) with sensitivity analysis capabilities (both forward and adjoint modes). |
Phaotee
|
2020-05-05 00:09 (UTC) |
|
cursewords-git
|
1.0.3.r0.ed5f7d5-1 |
0 |
0.00
|
Terminal-based crossword puzzle solver |
chungy
|
2019-03-11 04:39 (UTC) |