Solver

Open-source projects categorized as Solver

Top 23 Solver Open-Source Projects

  • pulp

    A python Linear Programming API

  • Project mention: Algorithms - Researchers Approach New Speed Limit for Seminal Problem | news.ycombinator.com | 2024-01-29
  • osqp

    The Operator Splitting QP Solver

  • Project mention: Best/Any Convex Optimization Solver for Rust? | /r/rust | 2023-05-31

    There's also two bindings for the osqp library (which is written in C), osqp published 2 years ago and osqp-rust published 3 months ago. I don't know what are the differences between them, but they both target osqp 0.6.2 (released in 2021) while the last released version is osqp 0.6.3 which was released last week.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • TexasSolver

    🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds:

  • Project mention: The Law of Large Numbers, or Why It Is a Bad Idea to Go to the Casino | news.ycombinator.com | 2023-05-14

    I use GTO+ which is proprietary.

    I just tried this one which works like a charm (just run the exe from the zip in github releases ; even comes pre-loaded with a wide amount of preflop ranges, which seem to come from a previous solve) : https://github.com/bupticybee/TexasSolver

    Searching with "poker solver haskell" only seem to show very immature projects.

  • hcaptcha-challenger

    🥂 Gracefully face hCaptcha challenge with MoE(ONNX) embedded solution.

  • Project mention: suggest me a good hcaptcha solver with best motion data and doesn't lock my tokens | /r/Discord_selfbots | 2023-05-14
  • vroom

    Vehicle Routing Open-source Optimization Machine

  • Zeratool

    Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems

  • SkytilsMod

    Skytils is a Hypixel Skyblock mod! Be careful, malicious copies are distributed across GitHub. Confirm on discord.gg/skytils (807302538558308352)

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
  • Flutter-AI-Rubik-cube-Solver

    Flutter-Python rubiks cube solver.

  • cuckoo

    a memory-bound graph-theoretic proof-of-work system (by tromp)

  • Project mention: mCaptcha: Open-source proof-of-work captcha for websites | news.ycombinator.com | 2023-08-08

    Asymmetric PoW algorithms, such as Cuckoo Cycle [1] or the poorly named Equihash [2] (which is not a hash function) do not lend themselves to password hashing, since a given instance can have 0 or 1 or many solutions.

    [1] https://github.com/tromp/cuckoo

    [2] https://en.wikipedia.org/wiki/Equihash

  • TexasHoldemSolverJava

    A Java implemented Texas holdem and short deck Solver

  • AngouriMath

    New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

  • Choco

    An open-source Java library for Constraint Programming

  • commons-math

    Apache Commons Math

  • Project mention: My javafx project has a 3rd party dependency that doesn't have module setup, and it's been giving me headache | /r/javahelp | 2023-06-27

    Regarding the old release: The README of the current version states that the library has been split into older libraries, so if you control the imports in the source code, you could use a newer version. That does not change the module problem however.

  • optimization-engine

    Nonconvex embedded optimization: code generation for fast real-time optimization

  • oj! Algorithms

    oj! Algorithms

  • sundials

    Official development repository for SUNDIALS - a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. Pull requests are welcome for bug fixes and minor changes.

  • DAGSfM

    Distributed and Graph-based Structure from Motion. This project includes the official implementation of our Pattern Recognition 2020 paper: Graph-Based Parallel Large Scale Structure from Motion.

  • opennars

    OpenNARS for Research 3.0+

  • wasm-postflop

    [Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance (web browser version)

  • hCaptchaSolverApi

    HCAPTCHA Solver, reCaptcha v2, OCR Captcha. Chrome-Firefox Extension. Free 6000/month 🔥 on signup

  • hyStrath

    Hypersonic / Rarefied gas dynamics code developments (GPL-3.0)

  • postflop-solver

    [Development suspended] An efficient open-source postflop solver library written in Rust

  • desktop-postflop

    [Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance

  • Project mention: Is anyone else using the Desktop PostFlop Solver? I find it well designed, efficient when it computes and the output is comparable to PIO. | /r/Poker_Theory | 2023-06-08
  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Solver related posts

Index

What are some of the best open-source Solver projects? This list will help you:

Project Stars
1 pulp 1,950
2 osqp 1,559
3 TexasSolver 1,556
4 hcaptcha-challenger 1,411
5 vroom 1,216
6 Zeratool 1,089
7 SkytilsMod 950
8 Flutter-AI-Rubik-cube-Solver 831
9 cuckoo 812
10 TexasHoldemSolverJava 773
11 AngouriMath 754
12 Choco 668
13 commons-math 550
14 optimization-engine 463
15 oj! Algorithms 453
16 sundials 450
17 DAGSfM 384
18 opennars 369
19 wasm-postflop 354
20 hCaptchaSolverApi 282
21 hyStrath 212
22 postflop-solver 202
23 desktop-postflop 202

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com