|
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) |
|
kissat
|
3.1.1-2 |
1 |
0.65
|
A keep it simple and clean bare metal SAT solver written in C |
meadow
|
2024-03-23 14:25 (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) |
|
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) |
|
hypre
|
2.31.0-1 |
5 |
0.28
|
Parallel solvers for sparse linear systems featuring multigrid methods |
carlosal1015
|
2024-02-15 07:59 (UTC) |
|
stegsolve
|
1.3-3 |
25 |
0.26
|
A steganographic image analyzer, solver and data extractor for challanges |
anthraxx
|
2015-06-18 16:12 (UTC) |
|
gurobi
|
11.0.1-1 |
8 |
0.07
|
State-of-the-art solver for mathematical programming |
marcosmrai
|
2024-03-07 22:47 (UTC) |
|
go-pdirs-git
|
0.1.2-1 |
1 |
0.04
|
Project directory resolver |
xprnio
|
2023-11-18 13:31 (UTC) |
|
go-pdirs
|
0.1.2-2 |
1 |
0.04
|
Project directory resolver |
xprnio
|
2023-11-18 13:34 (UTC) |
|
calculix-ccx
|
2.21-1 |
23 |
0.01
|
CalculiX: 3D Structural Finite Element Program - Solver |
mauritiusdadd
|
2024-02-03 16:31 (UTC) |
|
routedns-git
|
0.1.51.r16.g3aa67c5-1 |
1 |
0.00
|
DNS stub resolver, proxy and router (git version) |
Fijxu
|
2024-01-13 03:07 (UTC) |
|
astap-cli
|
2023.06.24-1 |
1 |
0.00
|
Astrometric (plate) solver, stacking of images, photometry and FITS viewer. CLI-version |
Mr.Smith1974
|
2023-09-16 10:55 (UTC) |
|
astap
|
2023.09.11-1 |
1 |
0.00
|
Astrometric (plate) solver, stacking of images, photometry and FITS viewer (build from source). Qt5 version. |
Mr.Smith1974
|
2023-09-16 10:53 (UTC) |
|
astap-bin-qt5
|
2024.03.27-1 |
1 |
0.00
|
Astrometric (plate) solver, stacking of images, photometry and FITS viewer |
wrenby
|
2024-03-28 13:12 (UTC) |
|
astap-bin
|
2023.09.11-1 |
1 |
0.00
|
Astrometric (plate) solver, stacking of images, photometry and FITS viewer. Gtk2 version. |
Mr.Smith1974
|
2023-09-16 10:58 (UTC) |
|
flaresolverr
|
3.3.17-1 |
6 |
0.00
|
A proxy server to bypass Cloudflare protection |
txtsd
|
2024-04-12 04:41 (UTC) |
|
flaresolverr-bin
|
3.3.17-1 |
2 |
0.00
|
A proxy server to bypass Cloudflare protection |
txtsd
|
2024-04-12 04:52 (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) |
|
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) |
|
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) |
|
bcalc
|
16.05.0-1 |
5 |
0.00
|
Double-dummy solver for bridge (the card game). |
anntzer
|
2016-06-27 05:06 (UTC) |
|
python-grilops
|
0.9.1-2 |
1 |
0.00
|
GRId LOgic Puzzle Solver |
vEnhance
|
2022-12-26 06:42 (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) |
|
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-qpoases
|
3.2.1-2 |
2 |
0.00
|
COIN-OR QP solver with online active set strategy |
Nim65s
|
2022-09-13 21:44 (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) |
|
zeronsd
|
0.5.2-1 |
1 |
0.00
|
Unicast DNS resolver for ZeroTier networks |
devvick
|
2022-05-21 15:59 (UTC) |
|
rescached-git
|
4.4.2.r9.gd35cf24-1 |
6 |
0.00
|
Resolver/DNS cache daemon |
shulhan
|
2024-03-26 18:10 (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) |
|
elpa
|
2023.05.001-1 |
4 |
0.00
|
Eigenvalue SoLvers for Petaflop-Applications |
a.kudelin
|
2023-06-23 10:18 (UTC) |
|
python2-kiwisolver
|
1.1.0-5 |
1 |
0.00
|
A fast implementation of the Cassowary constraint solver |
hexd
|
2022-06-14 04:41 (UTC) |
|
nss-tls-git
|
r80.e31dd2a-1 |
3 |
0.00
|
A DNS over HTTPS resolver for glibc |
orphan
|
2019-06-10 10:47 (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) |
|
zeronsd-git
|
r452.856a30c-1 |
0 |
0.00
|
Unicast DNS resolver for ZeroTier networks |
devvick
|
2022-05-14 21:30 (UTC) |
|
vlsmsolver
|
1.2.1-1 |
1 |
0.00
|
program that aims to help doing vlsm subnetting. |
y1n0
|
2018-12-06 11:11 (UTC) |
|
unbound-git
|
1.14.0.r43.g79e755e1-1 |
0 |
0.00
|
Validating, recursive, and caching DNS resolver |
pspacek
|
2022-01-26 10:28 (UTC) |
|
uarmsolver
|
0.2.6-1 |
2 |
0.00
|
Universal Association Rule Mining Solver |
carlosal1015
|
2024-01-04 05:16 (UTC) |
|
trust-dns-util
|
0.22.0-1 |
0 |
0.00
|
A CLI interface for the trust-dns-resolver |
2bluesc
|
2023-04-18 13:48 (UTC) |
|
trlib-git
|
r163.02921d1-1 |
0 |
0.00
|
Trust Region Subproblem Solver Library |
x2b
|
2019-01-09 17:24 (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) |
|
sundials-seq
|
7.0.0-1 |
0 |
0.00
|
Suite of nonlinear differential/algebraic equation solvers (sequential version) |
xantares
|
2024-03-14 17:55 (UTC) |
|
sudoku-tk
|
1.2.1-1 |
1 |
0.00
|
Sudoku games and puzzle solver written in Python |
j_4321
|
2018-10-16 08:34 (UTC) |
|
sudoku-solver-git
|
v1.0.0.r0.gb4bec10-1 |
0 |
0.00
|
Contains several logical methods of solving, as well as brute force selection |
orphan
|
2020-07-28 20:29 (UTC) |
|
stubby-git
|
2718.8797280-1 |
3 |
0.00
|
DNS Privacy stub resolver |
codeworkx
|
2018-02-26 20:06 (UTC) |
|
stp-java
|
2.3.3-2 |
0 |
0.00
|
Java bindings for the STP SMT solver |
abdullin.am
|
2020-08-07 15:37 (UTC) |
|
squolem
|
2.02-1 |
1 |
0.00
|
Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates |
xrchz
|
2015-06-15 06:41 (UTC) |
|
spooles
|
2.2-7 |
11 |
0.00
|
SParse Object Oriented Linear Equations Solver |
gborzi
|
2021-06-08 22:42 (UTC) |
|
sleipnirgroup-sleipnir-git
|
0.0.1.r46.g7cc2c82-1 |
0 |
0.00
|
A sparsity and linearity-exploiting interior-point solver, now with readable internals |
calcmogul
|
2024-03-03 05:54 (UTC) |